440 100 True True GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC GTK_SHADOW_IN True False GTK_WRAP_WORD False False True 6 6 GTK_BUTTONBOX_END True False gtk-stop True False 1 External Tools Manager 400 300 GDK_WINDOW_TYPE_HINT_DIALOG True False True True True 6 1 True 6 True 0.000000 _Tools: True view False False True GTK_POLICY_NEVER GTK_POLICY_AUTOMATIC GTK_SHADOW_IN True True False True 1 True 8 True True True gtk-new True True True gtk-remove True 1 gtk-revert-to-saved True 2 False False 2 False True 6 True 0.000000 Edit tool <i>make</i>: True view False False True True False False True 7 2 6 6 True True GTK_POLICY_AUTOMATIC GTK_POLICY_AUTOMATIC GTK_SHADOW_IN True True create_commands 1 2 2 3 True True * Run “make” in the document dir 1 2 GTK_EXPAND | GTK_SHRINK | GTK_FILL GTK_FILL True True * F7 1 2 1 2 GTK_EXPAND | GTK_SHRINK | GTK_FILL GTK_FILL True 1 2 6 7 GTK_EXPAND | GTK_SHRINK | GTK_FILL GTK_FILL True 1 2 5 6 GTK_EXPAND | GTK_SHRINK | GTK_FILL GTK_FILL True 1 2 4 5 GTK_EXPAND | GTK_SHRINK | GTK_FILL GTK_FILL Nothing Current document All documents 1 2 3 4 GTK_EXPAND | GTK_SHRINK | GTK_FILL GTK_FILL True 0.000000 _Applicability: True applicability 6 7 GTK_FILL True 0.000000 0.000000 Co_mmand(s): True scrolledwindow3 2 3 GTK_FILL GTK_FILL True 0.000000 _Output: True output 5 6 GTK_FILL True 0.000000 _Input: True input 4 5 GTK_FILL 0.000000 _Save: True 3 4 GTK_FILL True 0.000000 _Shortcut Key: True accelerator 1 2 GTK_FILL True 0.000000 _Description: True description GTK_FILL 1 1 False 1 True GTK_BUTTONBOX_END True True True gtk-help True -11 True True True gtk-close True -7 1 False GTK_PACK_END