True
Semantic Policy Difference Tool
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_NONE
False
800
600
True
False
True
False
False
GDK_WINDOW_TYPE_HINT_NORMAL
GDK_GRAVITY_NORTH_WEST
True
False
True
False
0
True
GTK_PACK_DIRECTION_LTR
GTK_PACK_DIRECTION_LTR
0
False
False
True
GTK_ORIENTATION_HORIZONTAL
GTK_TOOLBAR_BOTH
True
True
True
Open Policies
True
gtk-open
True
True
True
False
True
True
False
Run Diff
True
gtk-execute
True
True
False
False
True
True
False
Remap Types
True
gtk-preferences
True
True
False
False
True
0
False
True
True
True
True
True
GTK_POS_TOP
False
False
True
True
170
True
True
300
True
True
GTK_POLICY_AUTOMATIC
GTK_POLICY_AUTOMATIC
GTK_SHADOW_IN
GTK_CORNER_TOP_LEFT
True
True
False
False
False
False
False
False
False
True
False
True
True
GTK_POLICY_AUTOMATIC
GTK_POLICY_AUTOMATIC
GTK_SHADOW_NONE
GTK_CORNER_TOP_LEFT
True
GTK_SHADOW_IN
True
False
0
True
Difference Key
False
False
GTK_JUSTIFY_CENTER
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_NONE
GTK_CORNER_TOP_LEFT
True
True
False
False
False
GTK_JUSTIFY_LEFT
GTK_WRAP_NONE
False
0
0
0
0
0
0
0
True
True
True
True
True
False
True
True
491
True
True
GTK_POLICY_AUTOMATIC
GTK_POLICY_AUTOMATIC
GTK_SHADOW_NONE
GTK_CORNER_TOP_LEFT
True
True
GDK_POINTER_MOTION_MASK | GDK_ENTER_NOTIFY_MASK | GDK_LEAVE_NOTIFY_MASK
GDK_EXTENSION_EVENTS_ALL
False
False
True
GTK_JUSTIFY_LEFT
GTK_WRAP_NONE
True
0
0
0
0
0
0
True
True
True
True
False
True
True
True
True
Differences
False
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
PANGO_ELLIPSIZE_NONE
-1
False
0
tab
True
True
True
True
GTK_POS_TOP
False
False
True
True
GTK_POLICY_AUTOMATIC
GTK_POLICY_AUTOMATIC
GTK_SHADOW_NONE
GTK_CORNER_TOP_LEFT
True
True
True
False
False
True
GTK_JUSTIFY_LEFT
GTK_WRAP_NONE
False
0
0
0
0
0
0
False
True
True
True
True
Policy Statistics
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
True
False
False
True
GTK_JUSTIFY_LEFT
GTK_WRAP_NONE
True
0
0
0
0
0
0
False
True
True
True
Source
False
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
PANGO_ELLIPSIZE_NONE
-1
False
0
tab
False
True
True
Original Policy
False
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
PANGO_ELLIPSIZE_NONE
-1
False
0
tab
True
True
True
True
GTK_POS_TOP
False
False
True
True
GTK_POLICY_AUTOMATIC
GTK_POLICY_AUTOMATIC
GTK_SHADOW_NONE
GTK_CORNER_TOP_LEFT
True
True
False
False
True
GTK_JUSTIFY_LEFT
GTK_WRAP_NONE
False
0
0
0
0
0
0
False
True
True
True
True
Policy Statistics
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
True
False
False
True
GTK_JUSTIFY_LEFT
GTK_WRAP_NONE
True
0
0
0
0
0
0
False
True
True
True
Source
False
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
PANGO_ELLIPSIZE_NONE
-1
False
0
tab
False
True
True
Modified Policy
False
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
PANGO_ELLIPSIZE_NONE
-1
False
0
tab
0
True
True
True
False
0
82
True
False
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
PANGO_ELLIPSIZE_NONE
-1
False
0
4
False
True
GTK_PACK_END
True
False
False
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
PANGO_ELLIPSIZE_NONE
-1
False
0
4
False
False
0
False
False
Sediff Find
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_CENTER_ON_PARENT
False
True
True
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-close
True
GTK_RELIEF_NORMAL
True
-7
True
True
True
gtk-find
True
GTK_RELIEF_NORMAL
True
-5
0
False
False
GTK_PACK_END
True
False
4
True
True
True
True
0
True
*
False
0
True
True
True
False
0
True
True
Forward
True
GTK_RELIEF_NORMAL
True
False
False
True
0
False
False
True
True
Reverse
True
GTK_RELIEF_NORMAL
True
False
False
True
find forward radio
0
False
False
0
True
True
0
False
True
Remap Types
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_CENTER_ON_PARENT
True
500
450
True
True
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-close
True
GTK_RELIEF_NORMAL
True
-7
0
False
True
GTK_PACK_END
True
False
0
4
True
0
0.5
GTK_SHADOW_IN
True
0.5
0.5
1
1
0
0
0
0
True
False
0
True
False
0
4
True
True
GTK_POLICY_AUTOMATIC
GTK_POLICY_ALWAYS
GTK_SHADOW_IN
GTK_CORNER_TOP_LEFT
True
True
True
True
False
False
False
False
False
0
True
True
4
True
GTK_BUTTONBOX_END
0
True
False
True
True
gtk-remove
True
GTK_RELIEF_NORMAL
True
5
False
True
0
True
True
True
True
Show inferred mappings
True
GTK_RELIEF_NORMAL
True
False
False
True
0
False
False
True
Remap Types
False
True
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
PANGO_ELLIPSIZE_NONE
-1
False
0
label_item
0
True
True
4
True
0
0.5
GTK_SHADOW_IN
True
0.5
0.5
1
1
0
0
0
0
True
False
0
True
False
0
4
True
False
0
True
Original Policy
False
False
GTK_JUSTIFY_LEFT
False
False
0
0.5
0
0
PANGO_ELLIPSIZE_NONE
-1
False
0
3
False
False
True
False
True
True
5
False
False
0
True
True
4
True
False
0
True
Modified Policy
False
False
GTK_JUSTIFY_LEFT
False
False
0
0.5
0
0
PANGO_ELLIPSIZE_NONE
-1
False
0
3
False
False
True
False
True
True
5
False
False
0
True
True
4
True
GTK_BUTTONBOX_SPREAD
0
True
False
True
True
gtk-add
True
GTK_RELIEF_NORMAL
True
5
False
True
0
True
True
True
True
Show only unmapped types
True
GTK_RELIEF_NORMAL
True
True
False
True
0
False
False
True
Add New Remap
False
True
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
PANGO_ELLIPSIZE_NONE
-1
False
0
label_item
0
False
True
0
True
True
Open Policies
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_CENTER_ON_PARENT
True
690
360
True
True
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
False
True
True
gtk-ok
True
GTK_RELIEF_NORMAL
True
-5
True
False
True
True
GTK_RELIEF_NORMAL
True
0
True
0.5
0.5
0
0
0
0
0
0
True
False
2
True
gtk-execute
4
0.5
0.5
0
0
0
False
False
True
Run Diff
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
GTK_PACK_END
True
False
4
4
True
False
10
True
False
0
True
<b>Original Policy Type:</b>
False
True
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
PANGO_ELLIPSIZE_END
-1
False
0
0
False
False
True
0.5
0.5
1
1
0
0
10
0
True
False
0
True
True
Monolithic policy
True
GTK_RELIEF_NORMAL
True
False
False
True
0
False
False
True
True
Modular policy
True
GTK_RELIEF_NORMAL
True
False
False
True
monolithic radio
0
False
False
0
True
True
0
False
True
True
False
0
True
<b>Original Policy Filename:</b>
False
True
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
PANGO_ELLIPSIZE_END
-1
False
0
0
False
False
True
False
4
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-open
4
0.5
0.5
0
0
0
False
False
True
Browse
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
True
True
0
False
True
True
False
False
4
True
True
GTK_POLICY_AUTOMATIC
GTK_POLICY_AUTOMATIC
GTK_SHADOW_IN
GTK_CORNER_TOP_LEFT
True
True
True
False
False
False
False
False
False
0
True
True
True
GTK_BUTTONBOX_START
8
True
True
True
gtk-add
True
GTK_RELIEF_NORMAL
True
True
False
True
True
gtk-remove
True
GTK_RELIEF_NORMAL
True
True
True
True
GTK_RELIEF_NORMAL
True
True
0.5
0.5
0
0
0
0
0
0
True
False
2
True
gtk-open
4
0.5
0.5
0
0
0
False
False
True
_Import
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_RELIEF_NORMAL
True
True
0.5
0.5
0
0
0
0
0
0
True
False
2
True
gtk-save
4
0.5
0.5
0
0
0
False
False
True
E_xport
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
True
True
0
True
True
True
0
False
False
4
True
False
10
True
False
0
True
<b>Modified Policy Type:</b>
False
True
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
PANGO_ELLIPSIZE_END
-1
False
0
0
False
False
True
0.5
0.5
1
1
0
0
10
0
True
False
0
True
True
Monolithic policy
True
GTK_RELIEF_NORMAL
True
False
False
True
0
False
False
True
True
Modular policy
True
GTK_RELIEF_NORMAL
True
False
False
True
monolithic radio 1
0
False
False
0
True
True
0
False
True
True
False
0
True
<b>Modified Policy Filename:</b>
False
True
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
PANGO_ELLIPSIZE_END
-1
False
0
0
False
False
True
False
4
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-open
4
0.5
0.5
0
0
0
False
False
True
Browse
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
True
True
0
False
True
True
False
False
4
True
True
GTK_POLICY_AUTOMATIC
GTK_POLICY_AUTOMATIC
GTK_SHADOW_IN
GTK_CORNER_TOP_LEFT
True
True
True
False
False
False
False
False
False
0
True
True
True
GTK_BUTTONBOX_START
8
True
True
True
gtk-add
True
GTK_RELIEF_NORMAL
True
True
False
True
True
gtk-remove
True
GTK_RELIEF_NORMAL
True
True
True
True
GTK_RELIEF_NORMAL
True
True
0.5
0.5
0
0
0
0
0
0
True
False
2
True
gtk-open
4
0.5
0.5
0
0
0
False
False
True
_Import
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_RELIEF_NORMAL
True
True
0.5
0.5
0
0
0
0
0
0
True
False
2
True
gtk-save
4
0.5
0.5
0
0
0
False
False
True
E_xport
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
True
True
0
True
True
0
True
True
True
Run Diff
GTK_WINDOW_TOPLEVEL
GTK_WIN_POS_NONE
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
gtk-cancel
True
GTK_RELIEF_NORMAL
True
-6
True
True
gtk-ok
True
GTK_RELIEF_NORMAL
True
-5
0
False
True
GTK_PACK_END
4
True
False
4
True
<b>Select Components to Diff</b>
False
True
GTK_JUSTIFY_LEFT
False
False
0.5
0.5
0
0
PANGO_ELLIPSIZE_NONE
-1
False
0
0
False
True
True
False
0
True
Basic Components:
False
False
GTK_JUSTIFY_LEFT
False
False
0
0.5
0
0
PANGO_ELLIPSIZE_NONE
20
False
0
0
False
True
True
0.5
0.5
1
1
0
0
8
0
True
False
0
True
Commons
True
GTK_RELIEF_NORMAL
True
False
False
True
0
False
False
True
Classes
True
GTK_RELIEF_NORMAL
True
False
False
True
0
False
False
True
Users
True
GTK_RELIEF_NORMAL
True
False
False
True
0
False
False
True
Booleans
True
GTK_RELIEF_NORMAL
True
False
False
True
0
False
False
0
True
True
0
True
True
True
False
0
True
Type Enforcement:
False
False
GTK_JUSTIFY_LEFT
False
False
0
0.5
0
0
PANGO_ELLIPSIZE_NONE
-1
False
0
0
True
True
True
0.5
0.5
1
1
0
0
8
0
True
False
0
True
Attributes
True
GTK_RELIEF_NORMAL
True
False
False
True
0
False
False
True
Types
True
GTK_RELIEF_NORMAL
True
False
False
True
0
False
False
True
Access vector rules: allow
True
GTK_RELIEF_NORMAL
True
False
False
True
0
False
False
True
Access vector rules: auditallow
True
GTK_RELIEF_NORMAL
True
False
False
True
0
False
False
True
Access vector rules: dontaudit
True
GTK_RELIEF_NORMAL
True
False
False
True
0
False
False
True
Access vector rules: neverallow
True
GTK_RELIEF_NORMAL
True
False
False
True
This option may dramatically increase run time.
0
False
False
True
Type rules: type__change
True
GTK_RELIEF_NORMAL
True
False
False
True
0
False
False
True
Type rules: type__member
True
GTK_RELIEF_NORMAL
True
False
False
True
0
False
False
True
Type rules: type__transition
True
GTK_RELIEF_NORMAL
True
False
False
True
0
False
False
0
True
True
0
True
True
True
False
0
True
RBAC:
False
False
GTK_JUSTIFY_LEFT
False
False
0
0.5
0
0
PANGO_ELLIPSIZE_NONE
-1
False
0
0
True
True
True
0.5
0.5
1
1
0
0
8
0
True
False
0
True
Roles
True
GTK_RELIEF_NORMAL
True
False
False
True
0
False
False
True
Role allows
True
GTK_RELIEF_NORMAL
True
False
False
True
0
False
False
True
Role transitions
True
GTK_RELIEF_NORMAL
True
False
False
True
0
False
False
0
True
True
0
True
True
True
False
0
True
MLS:
False
False
GTK_JUSTIFY_LEFT
False
False
0
0.5
0
0
PANGO_ELLIPSIZE_NONE
-1
False
0
0
False
True
True
0.5
0.5
1
1
0
0
8
0
True
False
0
True
Levels
True
GTK_RELIEF_NORMAL
True
False
False
True
0
False
False
True
Categories
True
GTK_RELIEF_NORMAL
True
False
False
True
0
False
False
True
Range transitions
True
GTK_RELIEF_NORMAL
True
False
False
True
0
False
False
0
True
True
0
True
True
4
True
GTK_BUTTONBOX_SPREAD
0
True
True
Select All
True
GTK_RELIEF_NORMAL
True
True
True
Select None
True
GTK_RELIEF_NORMAL
True
0
True
True
0
True
True