Skip to content

Commit 6e12392

Browse files
cyderizecyderize
committed
Show scroll buttons when tab bar overflows on all OSs
Fixes #213
1 parent 999fad7 commit 6e12392

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

‎MiniZincIDE/mainwindow.ui‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -54,6 +54,9 @@
5454
<property name="currentIndex">
5555
<number>0</number>
5656
</property>
57+
<property name="usesScrollButtons">
58+
<bool>true</bool>
59+
</property>
5760
<property name="documentMode">
5861
<bool>true</bool>
5962
</property>

0 commit comments

Comments
 (0)