User.properties: Difference between revisions

From FreeMind
Jump to navigationJump to search
m (remove spam)
(+note on TBD)
 
(14 intermediate revisions by 4 users not shown)
Line 1: Line 1:
<table><tr>
<table><tr>
<td valign=top>
<td width=600>
{{Navigation_bar}}
''[Dan Polansky: TBD: find out whether FreeMind 0.9.0 and later reads this file at all or whether it only reads auto.properties]''
<td>&nbsp;
<td width=600>  


''What follows is useful mainly for FreeMind 0.7.1. Since FreeMind 0.8.0, you can edit the user preferences in graphical dialog.''
User [[preferences]]/options are technically stored in a ''user properties file'' (typically "user.properties") and the items are called ''user properties''.


There are several options you can change in the menu Edit > Preferences. However, there's a lot of options customizable in the text file ''user.properties''. If you are using Windows installer, this file is created automatically, and you only need to find it.
In FreeMind 0.7.1, only a few preferences could have been set in a GUI menu, in the Edit > Preferences menu.


On Linux, the file user.properties is stored in the folder .freemind in your home directory (~/.freemind or $HOME/.freemind).  [This would certainly be consistent with other Linux apps, but (for me at least) FreeMind created ~/freemind and wasn't going to have anything to do with ~/.freemind.]
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.


On Windows 2000 and XP, the path should look like
You can change a user property in the user properties file using plain text editor like Notepad. Every line starting with # will be ignored.


C:\Documents and Settings\(your user name)\freemind\user.properties
The user properties file is located in ''FreeMind home folder''; see [[home folder]].


On German Windows setups it should be "Dokumente und Einstellungen" instead of "Documents and Settings".
If you are using Windows installer, the user properties file is created automatically, and you only need to find it.


On Windows 95 and 98, the path should look like
If you are using plain binary distribution without installer, you have to copy the user properties file to its proper destination yourself [2026: really?].
C:\WINDOWS\freemind\user.properties


To find out about your home folder, run the command
==Implementation==
* [http://freemind.cvs.sourceforge.net/viewvc/freemind/freemind/user.properties?view=log CVS: user.properties]


echo %HOMEPATH%
==See also==
* [[Preferences]]


in your shell, which you can enter by running ''command'' or ''cmd''. (this is not true in all installations. If you relocate your Desktop folder the FreeMind-dir will be right next to it, whereever you put it.)
</table>
 
You can change the 'user.properties' using plain text editor like Notepad. Note that every line starting with # will be ignored.
 
If you are using plain binary distribution without installer, you have to copy 'user.properties' to its proper destination yourself.


----
<!-- Editor notes: the location of FreeMind home folder is intentionally kept only in [[home folder]] to avoid duplication and maintenance overhead. -->
<dl>
<dt>Macintosh Key Binding:</dt>
<dd>user.properties is located in the '''freemind''' folder in your Home directory.
To get the normal Mac Command-key combos to work open this file in TextEdit and do a find/replace with "&nbsp;control&nbsp;" as the the thing to find and "&nbsp;meta&nbsp;" as the replacement (the spaces before and after are important). A version of ''user.properties'' with these changes done can be found at [[User:AlainODea|my FreeMind Wiki homepage]].</dd>
</dl>
--[[User:AlainODea|AlainODea]] 18:31, 30 Sep 2004 (PDT)


</table>
[[Category:Documentation]]

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?].

Implementation

See also

Retrieved from "https://freemind.sourceforge.io/wiki/index.php?title=User.properties&oldid=16217"