User.properties: Difference between revisions

From FreeMind
Jump to navigationJump to search
(-navigation bar: moved to MediaWiki:Sidebar)
(add section headings)
 
Line 5: Line 5:


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.
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.
== Linux ==


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.]
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.]
== Windows 2000 and XP ==


On Windows 2000 and XP, the path should look like
On Windows 2000 and XP, the path should look like
Line 13: Line 17:


On German Windows setups it should be "Dokumente und Einstellungen" instead of "Documents and Settings".
On German Windows setups it should be "Dokumente und Einstellungen" instead of "Documents and Settings".
== Windows 95 and 98 ==


On Windows 95 and 98, the path should look like
On Windows 95 and 98, the path should look like
Line 22: Line 28:


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.)
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.)
== Miscellaneous ==


You can change the 'user.properties' using plain text editor like Notepad. Note that every line starting with # will be ignored.
You can change the 'user.properties' using plain text editor like Notepad. Note that every line starting with # will be ignored.

Latest revision as of 06:00, 29 January 2025

What follows is useful mainly for FreeMind 0.7.1. Since FreeMind 0.8.0, you can edit the user preferences in graphical dialog.

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.

Linux

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

Windows 2000 and XP

On Windows 2000 and XP, the path should look like

C:\Documents and Settings\(your user name)\freemind\user.properties

On German Windows setups it should be "Dokumente und Einstellungen" instead of "Documents and Settings".

Windows 95 and 98

On Windows 95 and 98, the path should look like

C:\WINDOWS\freemind\user.properties

To find out about your home folder, run the command

echo %HOMEPATH%

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.)

Miscellaneous

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.

Implementation

See also