Searched refs:Editor (Results 1 – 11 of 11) sorted by relevance
266 - “External Editor Revived”276 - “External Editor”284 请注意，“External Editor”要求你的编辑器不能fork，换句话说，编辑器必须在
15 # Editor directories and files
1 SUMMARY = "Simple GTK+ Text Editor"
290 - "External Editor Revived"300 - "External Editor"309 Please note that "External Editor" requires that your editor must not322 :menuselection:`Main Menu-->Preferences-->General-->Config Editor...`
1074 19) Editor modelines and other cruft
415 class Editor(urwid_readline.ReadlineEdit): class498 super().__init__(Editor(parent), valign='top')
310 - "External Editor Revived"320 - "External Editor"330 Tenga en cuenta que "External Editor" requiere que su editor no haga343 :menuselection:`Main Menu-->Preferences-->General-->Config Editor...`
78 # Editor-based Rest Client
301 - "External Editor Revived"311 - "External Editor"333 Poi :menuselection:`Modifica-->Preferenze-->Avanzate-->Editor di configurazione`
93 # Editor-based Rest Client
3186 D: Editor: Installation HOWTO, Distributions HOWTO, XFree86 HOWTO