-
- Downloads
Show operator definitions and attached comments in editor's hover help.
[Feature][Toolbox][Changelog]
Showing
- org.lamport.tla.toolbox.editor.basic/src/org/lamport/tla/toolbox/editor/basic/TLASourceViewerConfiguration.java 44 additions, 1 deletion...la/toolbox/editor/basic/TLASourceViewerConfiguration.java
- org.lamport.tla.toolbox.editor.basic/src/org/lamport/tla/toolbox/editor/basic/ToolboxHover.java 62 additions, 0 deletions...rc/org/lamport/tla/toolbox/editor/basic/ToolboxHover.java
- org.lamport.tla.toolbox.editor.basic/src/org/lamport/tla/toolbox/editor/basic/pcal/PCalHover.java 7 additions, 27 deletions.../org/lamport/tla/toolbox/editor/basic/pcal/PCalHover.java
- org.lamport.tla.toolbox.editor.basic/src/org/lamport/tla/toolbox/editor/basic/util/EditorUtil.java 20 additions, 0 deletions...org/lamport/tla/toolbox/editor/basic/util/EditorUtil.java
- tlatools/src/tla2sany/semantic/OpDefNode.java 19 additions, 0 deletionstlatools/src/tla2sany/semantic/OpDefNode.java
- tlatools/src/tla2sany/semantic/OpDefOrDeclNode.java 13 additions, 1 deletiontlatools/src/tla2sany/semantic/OpDefOrDeclNode.java
- tlatools/src/tla2sany/semantic/SemanticNode.java 4 additions, 0 deletionstlatools/src/tla2sany/semantic/SemanticNode.java
- tlatools/src/tla2sany/st/TreeNode.java 1 addition, 0 deletionstlatools/src/tla2sany/st/TreeNode.java
Loading
Please register or sign in to comment