diff options
Diffstat (limited to 'sensei-raw-ctl-gui.ui')
| -rw-r--r-- | sensei-raw-ctl-gui.ui | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/sensei-raw-ctl-gui.ui b/sensei-raw-ctl-gui.ui index 9988cca..97d648e 100644 --- a/sensei-raw-ctl-gui.ui +++ b/sensei-raw-ctl-gui.ui @@ -31,6 +31,7 @@ <property name='border-width'>10</property> <child><object class='GtkNotebook' id='notebook'> <property name='show-tabs'>FALSE</property> + <property name='show-border'>FALSE</property> <child><object class='GtkHBox' id='probing_box'> <property name='halign'>GTK_ALIGN_CENTER</property> <property name='valign'>GTK_ALIGN_CENTER</property> |