|
css
|
Use buttons instead of divs and inputs (#2522)
|
2019-02-22 09:23:06 -05:00 |
|
graphics
|
upgrade jquery-ui to 1.12.1
|
2018-02-08 13:19:16 -05:00 |
|
includes
|
remove debug
|
2019-03-01 17:28:00 -05:00 |
|
js
|
increase width of controls popup.
|
2019-02-20 15:39:26 -05:00 |
|
skin.php
|
fix state actions
|
2019-02-05 12:35:06 -05:00 |
