Improve tab management

This commit is contained in:
Loic Guegan 2022-12-25 09:57:34 +01:00
parent d298c59206
commit 1293b59ed5
6 changed files with 31 additions and 30 deletions

View file

@ -5569,7 +5569,7 @@
<property name="gripper">0</property>
<property name="hidden">0</property>
<property name="id">ID_DELETE_BUTTON</property>
<property name="label">Delete selection</property>
<property name="label">Mark as deleted</property>
<property name="margins"></property>
<property name="markup">0</property>
<property name="max_size"></property>