Skip to content

GitLab

Explore

Sign in

Primary navigation

Project

TTool
- Activity
- Members
- Labels
- Issues
- Issue boards
- Milestones
- Wiki
- Environments
- Incidents

Snippets Groups Projects

d68a3752

Commit d68a3752 authored 6 years ago by apvrille

Downloads
- Patches
- Plain Diff

Adding DSE Z3 icon and button. Can be used only with experimental option on

parent 4b20d12f

No related branches found

No related tags found

No related merge requests found

Changes 11

Hide whitespace changes

Inline Side-by-side

Showing

rundse/build.gradle 1 addition, 0 deletions

rundse/build.gradle
rundse/manifest.txt 1 addition, 0 deletions

rundse/manifest.txt
src/main/java/ui/ActionPerformer.java 4 additions, 0 deletions

src/main/java/ui/ActionPerformer.java
src/main/java/ui/JToolBarMainTurtle.java 8 additions, 1 deletion

src/main/java/ui/JToolBarMainTurtle.java
src/main/java/ui/MainGUI.java 9 additions, 0 deletions

src/main/java/ui/MainGUI.java
src/main/java/ui/ModeManager.java 4 additions, 0 deletions

src/main/java/ui/ModeManager.java
src/main/java/ui/TGUIAction.java 5 additions, 2 deletions

src/main/java/ui/TGUIAction.java
src/main/java/ui/util/IconManager.java 3 additions, 1 deletion

src/main/java/ui/util/IconManager.java
src/main/resources/ui/util/dse_z3.png 0 additions, 0 deletions

src/main/resources/ui/util/dse_z3.png
tmltranslator/build.gradle 1 addition, 0 deletions

tmltranslator/build.gradle
tmltranslator/manifest.txt 1 addition, 0 deletions

tmltranslator/manifest.txt

with 37 additions and 4 deletions

Loading

0% Loading or .

You are about to add 0 people to the discussion. Proceed with caution.

Finish editing this message first!

Please register or sign in to comment