diff options
| author | Stijn Buys <ingar@osirion.org> | 2016-07-20 00:42:06 +0200 |
|---|---|---|
| committer | Stijn Buys <ingar@osirion.org> | 2016-07-20 00:42:06 +0200 |
| commit | 06ba392555bd153fd6735040f6aada15e20b6ef2 (patch) | |
| tree | 8dd6a353e568a681ba5c35ecef9c58de25dbe7af | |
| parent | 8378f130234e7ebbcf6c006bea3d06350cacb20d (diff) | |
enamed UI::elementmargin to IU::spacing, added UI::margin.
| -rw-r--r-- | base/ini/ui.ini | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/base/ini/ui.ini b/base/ini/ui.ini index 4a5aa1b..194137c 100644 --- a/base/ini/ui.ini +++ b/base/ini/ui.ini @@ -4,12 +4,14 @@ ; [ui] -; width of a menu element +; width of a ui element elementwidth=256 -; height of a menu element +; height of a ui element elementheight=32 -; margin between menu elements -elementmargin=16 +; spacing between menu elements +spacing=16 +; margin for frames and widgets +margin=8 [colors] ; global foreground color rgb |