diff options
| author | nyamatongwe <devnull@localhost> | 2000-06-27 08:30:22 +0000 |
|---|---|---|
| committer | nyamatongwe <devnull@localhost> | 2000-06-27 08:30:22 +0000 |
| commit | 09983a4ec6733a77ae2f9929e0271a85614a9d3c (patch) | |
| tree | 69e72e39f57ba92eb966dbb626b7ba9062d8a616 /doc/ScintillaHistory.html | |
| parent | 411b19b9ab393e4617b36f141b02c3c6c7f232f5 (diff) | |
| download | scintilla-mirror-09983a4ec6733a77ae2f9929e0271a85614a9d3c.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 |