-
- Downloads
"Load more" tree action has no visually indication when it is loading.
- Show BusyIndicator - Add tool tip informing user to double-click - Load more on CR key press - Use icon (+) to differentiate from other tree items [Bug][Toolbox]
Showing
- org.lamport.tla.toolbox.tool.tlc.ui/icons/full/add.gif 0 additions, 0 deletionsorg.lamport.tla.toolbox.tool.tlc.ui/icons/full/add.gif
- org.lamport.tla.toolbox.tool.tlc.ui/icons/full/newstream_wiz.gif 0 additions, 0 deletions...port.tla.toolbox.tool.tlc.ui/icons/full/newstream_wiz.gif
- org.lamport.tla.toolbox.tool.tlc.ui/src/org/lamport/tla/toolbox/tool/tlc/ui/util/ActionClickListener.java 26 additions, 2 deletions...ort/tla/toolbox/tool/tlc/ui/util/ActionClickListener.java
- org.lamport.tla.toolbox.tool.tlc.ui/src/org/lamport/tla/toolbox/tool/tlc/ui/view/TLCErrorView.java 90 additions, 65 deletions...rg/lamport/tla/toolbox/tool/tlc/ui/view/TLCErrorView.java
Loading
Please register or sign in to comment