From fa13836653559d43b5b758b9bbb142d39c206cac Mon Sep 17 00:00:00 2001 From: Vincent Sanders Date: Sun, 18 Aug 2019 23:45:19 +0100 Subject: move toolbar to be in tab contents --- frontends/gtk/res/tabcontents.gtk2.ui | 130 ++++++++++++++++++++++++++++++++++ 1 file changed, 130 insertions(+) (limited to 'frontends/gtk/res/tabcontents.gtk2.ui') diff --git a/frontends/gtk/res/tabcontents.gtk2.ui b/frontends/gtk/res/tabcontents.gtk2.ui index 63e290e8b..cbd775971 100644 --- a/frontends/gtk/res/tabcontents.gtk2.ui +++ b/frontends/gtk/res/tabcontents.gtk2.ui @@ -2,6 +2,131 @@ + + True + + + True + GTK_TOOLBAR_BOTH_HORIZ + + + False + False + 1 + + + + + GTK_TOOLBAR_BOTH + + + True + gtk-close + + + False + + + + + True + + + True + 4 + Match + + + + + False + False + + + + + True + + + True + True + + + + + False + False + + + + + True + Search _Back + True + gtk-go-back + + + False + + + + + True + Search _Forward + True + gtk-go-forward + + + False + + + + + True + + + True + True + show all matches + All + True + True + + + + + False + False + + + + + True + + + True + True + Match case when searching + Case + GTK_RELIEF_NONE + True + True + + + + + False + False + + + + + False + False + 2 + + + True 2 @@ -77,6 +202,11 @@ + + 3 + + + 100 30 -- cgit v1.2.3