TrueFalsedocument-openTrueFalseutilities-terminalTrueFalsegtk-copyTrueFalseTrueTrueCopy as _HTMLTrueFalseCopy the selection as HTMLTrueFalsegtk-pasteTrueFalseTrueTrueTrueFalseOpen _terminalTrueFalseOpen new terminal window in the current directoryTrueopen_terminal_item_imageFalse_Open directoryTrueFalseOpen current directory in the file managerTrueopen_directory_item_imageFalseTrueFalsego-down-symbolicTrueFalsego-up-symbolicTrueFalseTrueTrueTrueTrueTrueTruenaturalnaturalUTF-8TrueFalse-1TrueFalseendendslide-upTrueFalse55552TrueTrueedit-find-symbolicFalseFalseSearch...TrueTrue0TrueTrueTrueGo to next resultsearch_image_downTrueFalseTrue1TrueTrueTrueGo to previous resultsearch_image_upTrueFalseTrueend21TrueFalseendTrueFalseFalse6endFalseFalse0False16TrueFalseSample Error MessageTrueTrueFalseTrue0FalseFalseend02