Difference between revisions of "Editor Tool"
(No difference)

Revision as of 13:38, 7 February 2007


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.

Retrieved from "https://dev.eiffel.com/index.php?title=Editor_Tool&oldid=7330"