Quote:
Originally Posted by Groen
Yes, I did ask it to store the preferences. I sent you some more info by e-mail. I found out that some preferences do get stored (paper style), but others don't (eraser style).
I glanced at the config file itself, and the config file mentions the wrong setting for the eraser style (0 for normal, instead 2 for strokes).
|
The menu-option 'Tools->Set As Default' only applies to the selected/active tool (pen, eraser, highlighter, text). So first select the tool, then set the option for the tool and then save preferences.
The choice to implement it like this was chosen by the original developer, it seems like a good choice to me, although its implementation is not completely intuitive.