Difference between revisions of "Editor Tool"
Line 1: | Line 1: | ||
[[Category:Context Menu]] | [[Category:Context Menu]] | ||
+ | |||
+ | [[Image:editor_tool.png]] | ||
+ | |||
+ | ==Editor== | ||
The context menu of the editor | The context menu of the editor | ||
Line 25: | Line 29: | ||
Depending if the context menu is on a pebble in the editor, the [[Class Pebble]] and [[Feature Pebble]] specific context menus will be mixed with the editor menu. | Depending if the context menu is on a pebble in the editor, the [[Class Pebble]] and [[Feature Pebble]] specific context menus will be mixed with the editor menu. | ||
+ | |||
+ | ==Tabs== | ||
+ | |||
+ | Context menu of single tab | ||
+ | |||
+ | Close tab | ||
+ | Close all but this | ||
+ | Close all |
Revision as of 14:37, 7 February 2007
Editor
The context menu of the editor
Cut Copy Paste ---- Select All Edit Comment Uncomment ---- Embed in "If" Embed in "Debug" ---- Show Formatting Marks ---- View Basic Clickable Flat Contract Interface View
Depending if the context menu is on a pebble in the editor, the Class Pebble and Feature Pebble specific context menus will be mixed with the editor menu.
Tabs
Context menu of single tab
Close tab Close all but this Close all