-
- Downloads
Collapse irrelevant sections unless newly created model.
- Do not show comment unless set - Do not show "What is the model" on constant-less model - Expand comment section on newly created model - Expand properties if spec defines temporal property [Feature][Toolbox]
Showing
- org.lamport.tla.toolbox.tool.tlc.ui/src/org/lamport/tla/toolbox/tool/tlc/handlers/NewModelHandler.java 16 additions, 6 deletions...amport/tla/toolbox/tool/tlc/handlers/NewModelHandler.java
- org.lamport.tla.toolbox.tool.tlc.ui/src/org/lamport/tla/toolbox/tool/tlc/handlers/OpenModelHandler.java 6 additions, 4 deletions...mport/tla/toolbox/tool/tlc/handlers/OpenModelHandler.java
- org.lamport.tla.toolbox.tool.tlc.ui/src/org/lamport/tla/toolbox/tool/tlc/ui/editor/ModelEditor.java 3 additions, 7 deletions...g/lamport/tla/toolbox/tool/tlc/ui/editor/ModelEditor.java
- org.lamport.tla.toolbox.tool.tlc.ui/src/org/lamport/tla/toolbox/tool/tlc/ui/editor/page/BasicFormPage.java 9 additions, 0 deletions...rt/tla/toolbox/tool/tlc/ui/editor/page/BasicFormPage.java
- org.lamport.tla.toolbox.tool.tlc.ui/src/org/lamport/tla/toolbox/tool/tlc/ui/editor/page/MainModelPage.java 10 additions, 13 deletions...rt/tla/toolbox/tool/tlc/ui/editor/page/MainModelPage.java
Loading
Please register or sign in to comment