diff options
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 |