User.properties: Difference between revisions
Dan Polansky (talk | contribs) (→Linux: +link to home folder) |
Dan Polansky (talk | contribs) (rework a little, especially to avoid duplication with home folder) |
||
| Line 2: | Line 2: | ||
<td width=600> | <td width=600> | ||
'' | 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?]. | |||
If you are using plain binary distribution without installer, you have to copy | |||
==Implementation== | ==Implementation== | ||
Revision as of 06:33, 10 September 2026
|
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 |