User.properties: Difference between revisions
Dan Polansky (talk | contribs) (+editor notes in a comment) |
Dan Polansky (talk | contribs) (+note on TBD) |
||
| Line 1: | Line 1: | ||
<table><tr> | <table><tr> | ||
<td width=600> | <td width=600> | ||
''[Dan Polansky: TBD: find out whether FreeMind 0.9.0 and later reads this file at all or whether it only reads auto.properties]'' | |||
User [[preferences]]/options are technically stored in a ''user properties file'' (typically "user.properties") and the items are called ''user properties''. | User [[preferences]]/options are technically stored in a ''user properties file'' (typically "user.properties") and the items are called ''user properties''. | ||
Latest revision as of 09:48, 10 September 2026
|
[Dan Polansky: TBD: find out whether FreeMind 0.9.0 and later reads this file at all or whether it only reads auto.properties] User preferences/options are technically stored in a user properties file (typically "user.properties") and the items are called user properties. In FreeMind 0.7.1, only a few preferences could have been set in a GUI menu, in the Edit > Preferences menu. Since FreeMind 0.8.0, you can edit many of the user preferences in a graphical dialog. But even in this version and later, some preferences (properties) have to be edited in the user properties file. You can change a user property in the user properties file using plain text editor like Notepad. Every line starting with # will be ignored. The user properties file is located in FreeMind home folder; see home folder. If you are using Windows installer, the user properties file is created automatically, and you only need to find it. If you are using plain binary distribution without installer, you have to copy the user properties file to its proper destination yourself [2026: really?]. ImplementationSee also |
