diff options
| author | nyamatongwe <unknown> | 2000-06-27 08:30:22 +0000 |
|---|---|---|
| committer | nyamatongwe <unknown> | 2000-06-27 08:30:22 +0000 |
| commit | da79f00b93e0a2af74a5cd8db53b6768129c2ebf (patch) | |
| tree | 69e72e39f57ba92eb966dbb626b7ba9062d8a616 /doc/ScintillaHistory.html | |
| parent | 956c8cf7509f576a13d6821f1c52e5c6000cb6cc (diff) | |
| download | scintilla-mirror-da79f00b93e0a2af74a5cd8db53b6768129c2ebf.tar.gz | |
Explanations of builing and installing.
Explanations of new properties files locations and names.
Diffstat (limited to 'doc/ScintillaHistory.html')
| -rw-r--r-- | doc/ScintillaHistory.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/ScintillaHistory.html b/doc/ScintillaHistory.html index 8c75b73a1..7eb677f4a 100644 --- a/doc/ScintillaHistory.html +++ b/doc/ScintillaHistory.html @@ -136,7 +136,7 @@ Fixes crash in indentation guides when indent size set to 0. </li> <li> - Fixes to installation on Linux. User properties file has a dot at front of name: + Fixes to installation on GTK+/Linux. User properties file on GTK+ has a dot at front of name: .SciTEUser.properties. Global properties file location configurable at compile time defaulting to $prefix/share/scite. $prefix determined from Gnome if present else its /usr/local and can be overridden by installer. Gnome menu integration performed in |