-
Przemyslaw Kaminski authored
It's quite ugly to display the buttons under the input box for rename, fixed to have check/remove buttons on the right of the input. Also, rename box "close" button added.
e7d4b7aa
| Name |
Last commit
|
Last update |
|---|---|---|
| .. | ||
| Gargantext | ||
| .psc-ide-port | ||
| Main.purs |