Always available always 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 Manage External Tools 800 600 dialog True Manage External Tools True True True True 275 True True False vertical True True in True True False True True True 0 True False icons 1 True False Add a new tool Add Tool True list-add-symbolic False True True False Remove selected tool Remove Tool True list-remove-symbolic False True True False Revert tool Revert Tool True edit-undo-symbolic False True False True 1 False False True False vertical 6 True False True False True False 6 6 6 6 6 6 True False 0 Shortcut _key: True accelerator True 0 0 1 1 True True True 1 0 1 1 True False 0 _Save: True save-files 0 1 1 1 True False model_save_files 0 1 1 1 1 True False 0 _Input: True input 0 2 1 1 True False model_input 0 1 2 1 1 True False 0 _Output: True output 0 3 1 1 True False model_output 0 1 3 1 1 True False 0 _Applicability: True applicability 0 4 1 1 True False 6 True False model_applicability 0 False True 0 False True True False True False 0 All Languages end 13 True True 1 1 4 1 1 0 1 1 1 True True True True in commands_buffer True 0 0 1 1 False True 0 True True 1 True False