Old Revisions
These are the older revisons of the current document. To revert to an old revision, select it from below, click Edit this page and save it.
2024-09-24 –
6.4 Issue 128 – Optionally disable smooth scrolling in an internal editor
(martin)
(current)
–
Diff vs. previous
2017-12-27 –
explicit display anchor used in rawsettings
(martin)
–
Diff vs. current •
Diff vs. previous
2015-12-18 –
5.8 Bug 1326 Configurable internal editor font color and default background color.
(martin)
–
Diff vs. current •
Diff vs. previous
2015-12-18 –
5.8 Bug 1326 Configurable internal editor font color and default background color.
(martin)
(hidden)
–
Diff vs. current •
Diff vs. previous
2015-12-18 –
created 5.8 internal editor options moved from ui_pref_editor
(martin)
–
Diff vs. current