Editor Tool

Revision as of 14:38, 7 February 2007 by Juliant (Talk | contribs)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)


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"