Add a "Collapse All" button in editor.

Brought to you by: cfsnook, gverdier, idiras321, lvoisin, tshoang

#121 Add a "Collapse All" button in editor.

Status: closed

Owner: Nicolas Beauger

Labels: Event-B Interface (105)

Priority: 5

Updated: 2008-12-16

Created: 2008-12-16

Creator: Nicolas Beauger

Private: No

Add a "Collapse All" button in editor near the existing "Expand All" button.

Discussion

Nicolas Beauger - 2008-12-16

status: open --> closed
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Log in to post a comment.