Robert b038fa3046 [UX] Add fine tune buttons to horizontal margins (#5303) ...

Similar to top and bottom margins I add fine tune buttons to L/R margins.

2019-09-01 21:26:11 +02:00

..

keyboardlayouts

…

creoptions.lua

[UX] Add fine tune buttons to horizontal margins (#5303)

2019-09-01 21:26:11 +02:00

css_tweaks.lua

…

dictionaries.lua

…

koptoptions.lua

…

optionsutil.lua

…

settings_migration.lua

…

strings.lua

…