-
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 |