0 SGPEMv2 Preferences True GTK_WIN_POS_CENTER_ON_PARENT 500 300 gtk-preferences GDK_WINDOW_TYPE_HINT_DIALOG True True True False True 5 5 True 0,000000 0,000000 GTK_SHADOW_NONE True 6 0,000000 0,000000 12 True True GTK_SHADOW_IN True True True 0,000000 0,000000 <b>Loaded Plugins</b> True label_item True 0,000000 0,000000 GTK_SHADOW_NONE True 6 0,000000 0,000000 12 True 10 True True GTK_SHADOW_IN True True True 4 GTK_BUTTONBOX_START True True True gtk-add True True False True True gtk-remove True 1 False False 3 GTK_PACK_END 1 True 0,000000 0,000000 <b>Additional Plugin Directories</b> True label_item 1 False True 0,000000 0,000000 Plugins tab False False True 5 5 True 0,000000 0,000000 GTK_SHADOW_NONE True 6 0,000000 0,000000 12 True True GTK_SHADOW_IN True True True 0,000000 0,000000 <b>Loaded Policies</b> True label_item True 0,000000 0,000000 GTK_SHADOW_NONE True 6 0,000000 0,000000 12 True 10 True True GTK_SHADOW_IN True True True 4 GTK_BUTTONBOX_START True True True gtk-add True True False True True gtk-remove True 1 False False 3 GTK_PACK_END 1 True 0,000000 0,000000 <b>Additional Policies Directories</b> True label_item 1 1 False True 0,000000 0,000000 Policies tab 1 False False True True 5 0,000000 0,000000 GTK_SHADOW_NONE True 0,000000 0,000000 12 True True 0,000000 0,000000 Simulation step speed (milliseconds) False True True 1000,000000 0,000000 9999,000000 100,000000 500,000000 500,000000 2 True True GTK_UPDATE_IF_VALID False 1 True 0,000000 0,000000 <b>Simulation speed</b> True label_item False False 2 False True 0,000000 0,000000 Speed tab 2 False False 2 True GTK_BUTTONBOX_END True True True True gtk-close True -7 False GTK_PACK_END