Editor Tool

Revision as of 15:37, 7 February 2007 by Juliant (Talk | contribs)

Editor tool.png

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
Retrieved from "https://dev.eiffel.com/index.php?title=Editor_Tool&oldid=7342"