True
Cic browser
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_CENTER_ON_PARENT
False
500
500
True
False
True
False
False
GDK_WINDOW_TYPE_HINT_NORMAL
GDK_GRAVITY_NORTH_WEST
True
False
True
True
False
True
False
0
0
False
False
True
0
0
GTK_SHADOW_NONE
True
False
0
True
True
GTK_RELIEF_NONE
True
True
gtk-new
4
0.5
0.5
0
0
0
False
False
True
True
GTK_RELIEF_NONE
True
True
gtk-go-back
4
0.5
0.5
0
0
0
False
False
True
True
GTK_RELIEF_NONE
True
True
gtk-go-forward
4
0.5
0.5
0
0
0
False
False
True
refresh
True
True
GTK_RELIEF_NONE
True
True
gtk-refresh
4
0.5
0.5
0
0
0
False
False
True
home
True
True
GTK_RELIEF_NONE
True
True
gtk-home
4
0.5
0.5
0
0
0
False
False
True
gtk-jump-to
2
0.5
0.5
0
0
3
False
False
True
False
0
0
True
True
0
False
True
3
True
False
6
True
gtk-missing-image
4
0.5
0.5
0
0
0
False
True
True
True
True
True
0
True
*
False
0
True
True
True
False
0
True
0.5
0.5
1
1
0
0
0
0
0
False
False
0
False
True
0
False
True
True
True
True
True
GTK_POS_TOP
False
False
True
True
GTK_POLICY_AUTOMATIC
GTK_POLICY_AUTOMATIC
GTK_SHADOW_NONE
GTK_CORNER_TOP_LEFT
False
True
True
MathView
False
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
PANGO_ELLIPSIZE_NONE
-1
False
0
tab
True
True
GTK_POLICY_AUTOMATIC
GTK_POLICY_AUTOMATIC
GTK_SHADOW_IN
GTK_CORNER_TOP_LEFT
True
True
False
False
False
True
False
False
False
False
True
True
WhelpResults
False
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
PANGO_ELLIPSIZE_NONE
-1
False
0
tab
True
True
GTK_POLICY_AUTOMATIC
GTK_POLICY_AUTOMATIC
GTK_SHADOW_NONE
GTK_CORNER_TOP_LEFT
True
GTK_SHADOW_NONE
True
gtk-missing-image
4
0.5
0.5
0
0
False
True
True
WhelpEasterEgg
False
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
PANGO_ELLIPSIZE_NONE
-1
False
0
tab
True
True
GTK_POLICY_AUTOMATIC
GTK_POLICY_AUTOMATIC
GTK_SHADOW_NONE
GTK_CORNER_TOP_LEFT
False
True
True
Graph
False
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
PANGO_ELLIPSIZE_NONE
-1
False
0
tab
True
False
0
True
True
GTK_POLICY_ALWAYS
GTK_POLICY_ALWAYS
GTK_SHADOW_NONE
GTK_CORNER_TOP_LEFT
True
True
True
False
False
True
False
False
False
0
True
True
True
GTK_ORIENTATION_HORIZONTAL
GTK_TOOLBAR_BOTH
True
True
True
True
True
False
True
True
gtk-refresh
True
GTK_RELIEF_NORMAL
True
False
False
True
True
True
False
True
True
gtk-remove
True
GTK_RELIEF_NORMAL
True
False
False
True
True
True
False
True
True
gtk-add
True
GTK_RELIEF_NORMAL
True
False
False
0
False
False
False
True
True
HBugs
False
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
PANGO_ELLIPSIZE_NONE
-1
False
0
tab
0
True
True
DUMMY
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_CENTER
True
False
False
True
False
False
GDK_WINDOW_TYPE_HINT_DIALOG
GDK_GRAVITY_NORTH_WEST
True
False
True
True
False
0
True
GTK_BUTTONBOX_END
True
True
True
gtk-cancel
True
GTK_RELIEF_NORMAL
True
-6
True
True
True
gtk-ok
True
GTK_RELIEF_NORMAL
True
-5
0
False
True
GTK_PACK_END
True
DUMMY
False
False
GTK_JUSTIFY_CENTER
False
False
0.5
0.5
0
0
PANGO_ELLIPSIZE_NONE
-1
False
0
0
False
False
True
DUMMY
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_NONE
False
True
False
True
False
False
GDK_WINDOW_TYPE_HINT_DIALOG
GDK_GRAVITY_NORTH_WEST
True
False
True
True
False
0
True
GTK_BUTTONBOX_END
True
True
True
gtk-cancel
True
GTK_RELIEF_NORMAL
True
-6
True
True
True
gtk-ok
True
GTK_RELIEF_NORMAL
True
-5
0
False
True
GTK_PACK_END
True
DUMMY
False
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
PANGO_ELLIPSIZE_NONE
-1
False
0
0
False
False
10
Select File
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_CENTER
True
True
False
True
False
False
GDK_WINDOW_TYPE_HINT_DIALOG
GDK_GRAVITY_NORTH_WEST
True
False
True
True
True
True
GTK_RELIEF_NORMAL
True
True
True
True
GTK_RELIEF_NORMAL
True
Matita
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_NONE
False
True
False
True
False
False
GDK_WINDOW_TYPE_HINT_NORMAL
GDK_GRAVITY_NORTH_WEST
True
False
True
True
False
True
False
0
True
GTK_SHADOW_OUT
GTK_POS_LEFT
GTK_POS_TOP
0
False
False
True
False
0
True
True
True
False
0
True
GTK_SHADOW_OUT
GTK_POS_TOP
GTK_POS_TOP
True
False
0
0
False
True
400
True
False
0
True
False
0
True
GTK_ORIENTATION_HORIZONTAL
GTK_TOOLBAR_BOTH
True
True
True
True
True
False
True
Restart
True
GTK_RELIEF_NONE
True
True
gtk-goto-top
4
0.5
0.5
0
0
False
False
True
True
True
False
True
Retract 1 phrase
True
GTK_RELIEF_NONE
True
True
gtk-go-up
4
0.5
0.5
0
0
False
False
True
True
True
False
True
Execute until point
True
GTK_RELIEF_NONE
True
True
gtk-jump-to
4
0.5
0.5
0
0
False
False
True
True
True
False
True
Execute 1 phrase
True
GTK_RELIEF_NONE
True
True
gtk-go-down
4
0.5
0.5
0
0
False
False
True
True
True
False
True
Execute all
True
GTK_RELIEF_NONE
True
True
gtk-goto-bottom
4
0.5
0.5
0
0
False
False
0
True
True
True
GTK_ORIENTATION_VERTICAL
GTK_TOOLBAR_BOTH
True
True
True
True
True
False
True
True
GTK_RELIEF_NONE
True
True
gtk-stop
4
0.5
0.5
0
0
False
False
0
False
True
0
False
False
True
True
True
True
GTK_POS_BOTTOM
False
False
True
True
GTK_POLICY_AUTOMATIC
GTK_POLICY_AUTOMATIC
GTK_SHADOW_NONE
GTK_CORNER_TOP_LEFT
False
True
True
script
False
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
PANGO_ELLIPSIZE_NONE
-1
False
0
tab
True
True
GTK_POLICY_AUTOMATIC
GTK_POLICY_AUTOMATIC
GTK_SHADOW_NONE
GTK_CORNER_TOP_LEFT
True
GTK_SHADOW_IN
True
Not implemented.
False
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
PANGO_ELLIPSIZE_NONE
-1
False
0
False
True
True
outline
False
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
PANGO_ELLIPSIZE_NONE
-1
False
0
tab
0
True
True
0
True
True
True
False
250
500
True
True
380
True
True
True
True
GTK_POS_TOP
False
False
True
False
True
False
0
True
True
GTK_POLICY_NEVER
GTK_POLICY_ALWAYS
GTK_SHADOW_IN
GTK_CORNER_TOP_LEFT
True
True
False
False
True
GTK_JUSTIFY_LEFT
GTK_WRAP_CHAR
False
0
0
0
0
0
0
0
True
True
True
True
True
True
0
True
True
0
True
True
True
False
0
True
False
0
True
True
True
False
True
GTK_POS_TOP
False
False
True
gtk-missing-image
4
0.5
0.5
0
0
False
True
True
label14
False
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
PANGO_ELLIPSIZE_NONE
-1
False
0
tab
True
gtk-missing-image
4
0.5
0.5
0
0
False
True
True
label15
False
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
PANGO_ELLIPSIZE_NONE
-1
False
0
tab
True
gtk-missing-image
4
0.5
0.5
0
0
False
True
True
label16
False
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
PANGO_ELLIPSIZE_NONE
-1
False
0
tab
0
False
True
0
False
False
DUMMY
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_NONE
False
True
False
True
False
False
GDK_WINDOW_TYPE_HINT_DIALOG
GDK_GRAVITY_NORTH_WEST
True
False
True
True
False
0
True
GTK_BUTTONBOX_END
True
True
True
gtk-cancel
True
GTK_RELIEF_NORMAL
True
-6
True
True
True
gtk-ok
True
GTK_RELIEF_NORMAL
True
-5
0
False
True
GTK_PACK_END
True
DUMMY
False
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
PANGO_ELLIPSIZE_NONE
-1
False
0
0
False
False
True
True
GTK_POLICY_AUTOMATIC
GTK_POLICY_AUTOMATIC
GTK_SHADOW_IN
GTK_CORNER_TOP_LEFT
True
True
True
False
True
GTK_JUSTIFY_LEFT
GTK_WRAP_NONE
True
0
0
0
0
0
0
0
True
True
280
Uri choice
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_CENTER
True
True
False
True
False
False
GDK_WINDOW_TYPE_HINT_DIALOG
GDK_GRAVITY_NORTH_WEST
True
False
True
True
False
4
True
GTK_BUTTONBOX_END
True
True
True
gtk-cancel
True
GTK_RELIEF_NORMAL
True
-6
True
True
True
GTK_RELIEF_NORMAL
True
0
True
0.5
0.5
0
0
0
0
0
0
True
False
2
True
gtk-index
4
0.5
0.5
0
0
0
False
False
True
Try _Selected
True
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
PANGO_ELLIPSIZE_NONE
-1
False
0
0
False
False
True
False
True
True
Try Constants
True
GTK_RELIEF_NORMAL
True
0
True
True
gtk-copy
True
GTK_RELIEF_NORMAL
True
0
True
True
True
GTK_RELIEF_NORMAL
True
0
True
0.5
0.5
0
0
0
0
0
0
True
False
2
True
gtk-ok
4
0.5
0.5
0
0
0
False
False
True
bla bla bla
True
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
PANGO_ELLIPSIZE_NONE
-1
False
0
0
False
False
True
True
True
gtk-go-forward
True
GTK_RELIEF_NORMAL
True
0
0
False
True
GTK_PACK_END
True
False
3
True
some informative message here ...
False
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
PANGO_ELLIPSIZE_NONE
-1
False
0
0
False
False
400
True
True
GTK_POLICY_AUTOMATIC
GTK_POLICY_AUTOMATIC
GTK_SHADOW_NONE
GTK_CORNER_TOP_LEFT
True
True
False
False
False
True
False
False
False
0
True
True
True
False
0
True
URI:
False
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
PANGO_ELLIPSIZE_NONE
-1
False
0
0
False
False
True
True
True
True
0
True
*
False
0
True
True
0
False
True
0
True
True
5
Find & Replace
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_MOUSE
False
False
False
True
False
False
GDK_WINDOW_TYPE_HINT_DIALOG
GDK_GRAVITY_NORTH_WEST
True
False
True
3
2
False
5
0
True
False
5
True
False
0
0
True
True
True
True
gtk-find
True
GTK_RELIEF_NORMAL
True
0
False
False
True
True
GTK_RELIEF_NORMAL
True
True
0.5
0.5
0
0
0
0
0
0
True
False
2
True
gtk-find-and-replace
4
0.5
0.5
0
0
0
False
False
True
_Replace
True
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
PANGO_ELLIPSIZE_NONE
-1
False
0
0
False
False
0
False
False
True
True
gtk-cancel
True
GTK_RELIEF_NORMAL
True
0
False
False
0
2
2
3
5
True
True
True
True
0
True
*
False
1
2
1
2
True
True
True
True
True
True
True
0
True
*
False
1
2
0
1
True
Replace with:
False
False
GTK_JUSTIFY_LEFT
False
False
0
0.5
0
0
PANGO_ELLIPSIZE_NONE
-1
False
0
0
1
1
2
True
Find:
False
False
GTK_JUSTIFY_LEFT
False
False
0
0.5
0
0
PANGO_ELLIPSIZE_NONE
-1
False
0
0
1
0
1
450
400
title
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_NONE
True
True
False
True
False
False
GDK_WINDOW_TYPE_HINT_DIALOG
GDK_GRAVITY_NORTH_WEST
True
False
True
True
False
0
True
GTK_BUTTONBOX_END
True
True
True
gtk-help
True
GTK_RELIEF_NORMAL
True
-11
True
True
True
GTK_RELIEF_NORMAL
True
-6
True
0.5
0.5
0
0
0
0
0
0
True
False
2
True
gtk-zoom-in
4
0.5
0.5
0
0
0
False
False
True
More
True
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
PANGO_ELLIPSIZE_NONE
-1
False
0
0
False
False
True
True
True
True
gtk-cancel
True
GTK_RELIEF_NORMAL
True
-6
True
True
True
gtk-ok
True
GTK_RELIEF_NORMAL
True
-5
0
False
True
GTK_PACK_END
True
False
0
True
some informative message here ...
False
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
PANGO_ELLIPSIZE_NONE
-1
False
0
0
False
False
True
True
GTK_POLICY_AUTOMATIC
GTK_POLICY_AUTOMATIC
GTK_SHADOW_IN
GTK_CORNER_TOP_LEFT
True
True
False
False
False
True
False
False
False
0
True
True
0
True
True
600
400
True
Auto
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_NONE
False
True
False
True
False
False
GDK_WINDOW_TYPE_HINT_DIALOG
GDK_GRAVITY_SOUTH_EAST
True
False
True
False
0
True
False
2
True
True
GTK_POLICY_ALWAYS
GTK_POLICY_AUTOMATIC
GTK_SHADOW_IN
GTK_CORNER_TOP_LEFT
True
GTK_SHADOW_IN
True
3
3
False
0
0
0
True
True
True
False
0
True
True
GTK_RELIEF_NORMAL
True
True
0.5
0.5
0
0
0
0
0
0
True
False
2
True
gtk-go-up
4
0.5
0.5
0
0
0
False
False
True
True
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
PANGO_ELLIPSIZE_NONE
-1
False
0
0
False
False
0
True
True
True
True
GTK_RELIEF_NORMAL
True
True
gtk-go-down
4
0.5
0.5
0
0
0
True
True
0
False
False
0
True
True
True
3
False
True
True
False
0
True
Last:
False
False
GTK_JUSTIFY_LEFT
False
False
0
0.5
0
0
PANGO_ELLIPSIZE_NONE
-1
False
0
0
True
True
4
True
GTK_BUTTONBOX_END
4
True
True
True
gtk-media-pause
True
GTK_RELIEF_NORMAL
True
True
True
True
gtk-media-play
True
GTK_RELIEF_NORMAL
True
True
True
True
gtk-media-next
True
GTK_RELIEF_NORMAL
True
True
True
True
gtk-close
True
GTK_RELIEF_NORMAL
True
0
True
True
0
False
True
True
SearchWin
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_CENTER_ON_PARENT
False
640
480
True
False
True
False
False
GDK_WINDOW_TYPE_HINT_NORMAL
GDK_GRAVITY_CENTER
True
False
True
False
0
4
True
False
4
True
False
0
0
True
True
True
True
True
True
0
True
●
False
0
True
True
True
True
GTK_RELIEF_NORMAL
True
True
0.5
0.5
0
0
0
0
0
0
True
False
2
True
gtk-find
4
0.5
0.5
0
0
0
False
False
True
Search
True
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
PANGO_ELLIPSIZE_NONE
-1
False
0
0
False
False
0
False
False
0
False
True
3
True
True
GTK_POLICY_AUTOMATIC
GTK_POLICY_AUTOMATIC
GTK_SHADOW_IN
GTK_CORNER_TOP_LEFT
0
True
True
True
4
False
True
4
True
False
0
True
False
0
0
True
True
True
True
GTK_RELIEF_NORMAL
True
True
0.5
0.5
0
0
0
0
0
0
True
False
2
True
gtk-close
4
0.5
0.5
0
0
0
False
False
True
Close
True
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
PANGO_ELLIPSIZE_NONE
-1
False
0
0
False
False
0
False
True
0
False
True