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.

2020-05-22 – grammar (martin) (current) – Diff vs. previous

2019-11-18 – font explicit anchor (martin) – Diff vs. current • Diff vs. previous

2019-04-23 – misplaced ad (martin) – Diff vs. current • Diff vs. previous

2019-04-19 – Ad placement (Petr) – Diff vs. current • Diff vs. previous

2017-12-27 – explicit display anchor used in rawsettings (martin) – Diff vs. current • Diff vs. previous

2016-07-29 – 5.9 stable released (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 – lik styling (martin) – Diff vs. current • Diff vs. previous

2015-12-18 – created 5.8 internal editor options moved from ui_pref_editor (martin) – Diff vs. current

Documentation