Commit 1820184
committed
Add deploy shortcut (ctrl+r) and update icon
The dialog graphic is now the settings icon, since it shows deploy
settings. It also looked weird before, since it had the same play icon
in both a button and the dialog header. Plus, I'm somewhat concerned
that the unlabled play icon could be interpreted as a status icon (ie:
it's indicating that something is currently running)1 parent 7dc3d72 commit 1820184
2 files changed
Lines changed: 4 additions & 1 deletion
File tree
- ui/src/main
- java/edu/wpi/grip/ui
- resources/edu/wpi/grip/ui
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
192 | 192 | | |
193 | 193 | | |
194 | 194 | | |
195 | | - | |
| 195 | + | |
196 | 196 | | |
197 | 197 | | |
198 | 198 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
98 | 98 | | |
99 | 99 | | |
100 | 100 | | |
| 101 | + | |
| 102 | + | |
| 103 | + | |
101 | 104 | | |
102 | 105 | | |
103 | 106 | | |
| |||
0 commit comments