Nothing nothing Current document document All documents all Nothing nothing Current document document Current selection selection Current selection (default to document) selection-document Current line line Current word word Nothing nothing Display in bottom pane output-panel Create new document new-document Append to current document append-document Replace current document replace-document Replace current selection replace-selection Insert at cursor position insert All documents all All documents except untitled ones titled Local files only local Remote files only remote Untitled documents only untitled True External Tools Manager 750 500 dialog True True True True 6 275 True 6 True 0 _Tools: True view False False 0 True False automatic automatic in True True False True 1 True 6 True False True False True gtk-new 4 False False 0 False False True gtk-revert-to-saved 4 False False end 2 True False True False True gtk-delete 4 False False end 1 False False 2 False False True 6 True 0 0.5 _Edit: commands True False False 0 True True False False 0 True 6 2 6 6 True True 1 2 1 2 GTK_EXPAND | GTK_SHRINK | GTK_FILL GTK_FILL True True model_applicability 0 0 False True True True True True All Languages 0 0.5 PANGO_ELLIPSIZE_MIDDLE 1 True True 1 2 5 6 GTK_EXPAND | GTK_SHRINK | GTK_FILL GTK_FILL True model_output 0 1 2 4 5 GTK_EXPAND | GTK_SHRINK | GTK_FILL GTK_FILL True model_input 0 1 2 3 4 GTK_EXPAND | GTK_SHRINK | GTK_FILL GTK_FILL model_save_files True 0 1 2 2 3 GTK_EXPAND | GTK_SHRINK | GTK_FILL GTK_FILL True 0 _Applicability: True applicability 5 6 GTK_FILL True 0 _Output: True output 4 5 GTK_FILL True 0 _Input: True input 3 4 GTK_FILL 0 _Save: True save-files True 2 3 GTK_FILL True 0 _Shortcut Key: True accelerator 1 2 GTK_FILL True True automatic automatic in commands_buffer True True False GTK_SOURCE_SMART_HOME_END_AFTER 2 True False True 2 1 1 True False 1 True end gtk-help True True True False True False False 0 gtk-close True True True False True False False 1 False end 0 button1 button2