True All documents all All documents except untitled ones titled Local files only local Remote files only remote Untitled documents only untitled 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 Nothing nothing Current document document All documents all False External Tools Manager 750 500 dialog True True False vertical True False end gtk-help True True True False True False False 0 gtk-close True True True False True False False 1 False False end 0 True True True True 275 True False 6 6 6 6 True True vertical 6 True False True True in True True False True 0 1 True False _Tools: True view 0 0 0 True False start True False True False start True False gtk-new False False 0 True True False True False start True False gtk-delete False False 1 True False False start True False gtk-revert-to-saved False False 2 True 0 2 True True True False True True vertical 6 True False True True vertical 6 6 True False _Applicability: True 0 0 5 True False _Output: True 0 0 4 True False _Input: True 0 0 3 True False _Save: True 0 0 2 True False _Shortcut Key: True 0 0 1 True False model_output 0 1 4 True False model_input 0 1 3 True False model_save_files 0 1 2 True True 1 1 True True True True in commands_buffer True True False GTK_SOURCE_SMART_HOME_END_AFTER 2 True False True 0 0 2 True False True False True False False True False All Languages middle 0 0.5 1 0 True False model_applicability 0 0 0 1 5 0 1 True False _Edit: True 0 0.5 0 0 True False True True 1 button1 button2