Extending the Structure Editor: Difference between revisions
From Event-B
Jump to navigationJump to search
imported>Son |
imported>Son |
||
| Line 2: | Line 2: | ||
=== Adding a New Attribute === | === Adding a New Attribute === | ||
In order to add a new displaying/editing a new attribute in the Structure Editor, there are two steps. | |||
==== How the attribute is going to be displayed/edited ==== | |||
==== The relationship between the attribute and an internal element ==== | |||
Revision as of 18:04, 24 March 2010
Adding a New Element
Adding a New Attribute
In order to add a new displaying/editing a new attribute in the Structure Editor, there are two steps.
