diff options
| author | LostDragonist <lost.dragonist@gmail.com> | 2018-12-26 09:19:44 -0600 |
|---|---|---|
| committer | LostDragonist <lost.dragonist@gmail.com> | 2018-12-26 09:19:44 -0600 |
| commit | 66d0ae4317129f852627e6cddd6fa485dcdf6779 (patch) | |
| tree | be1e8415910b50073d8ec763b525563838dc5628 /src | |
| parent | fecb66f66b651daf6bc9b092e5e14c3efd2a82cc (diff) | |
Add a small gutter around the active mod/plugin counters
Diffstat (limited to 'src')
| -rw-r--r-- | src/mainwindow.ui | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/src/mainwindow.ui b/src/mainwindow.ui index 1180dee0..f2b12037 100644 --- a/src/mainwindow.ui +++ b/src/mainwindow.ui @@ -304,6 +304,12 @@ p, li { white-space: pre-wrap; } </item>
<item>
<widget class="QLCDNumber" name="activeModsCounter">
+ <property name="minimumSize">
+ <size>
+ <width>0</width>
+ <height>26</height>
+ </size>
+ </property>
<property name="whatsThis">
<string>This provides statistics about the mod list. The total number of active mod is normally displayed. Other statistics may be accessed with the tooltip of this counter.</string>
</property>
@@ -919,6 +925,12 @@ p, li { white-space: pre-wrap; } </item>
<item>
<widget class="QLCDNumber" name="activePluginsCounter">
+ <property name="minimumSize">
+ <size>
+ <width>0</width>
+ <height>26</height>
+ </size>
+ </property>
<property name="whatsThis">
<string>This provides statistics about the plugin list. The total number of active plugins is normally displayed. Other statistics may be accessed with the tooltip of this counter.</string>
</property>
|