UI work#91

Merged

BobHanson merged 10 commits intojava2script:masterfrom

BobHanson:master

Dec 4, 2018

Commits on Nov 22, 2018

GUI fixes

hansonr
authored and
hansonr
committed

Commits on Nov 23, 2018

adds ^ and V arrows to JSpinner

hansonr
authored and
hansonr
committed
fixes Timer.prototype.restart()

hansonr
authored and
hansonr
committed
JSpinner and JTimer tweaks

hansonr
authored and
hansonr
committed

Commits on Nov 24, 2018

JMenuBarUI fix

hansonr
authored and
hansonr
committed
JMenuBarUI fix

hansonr
authored and
hansonr
committed
cursor this.name corrected; cursor names consolidated; showing for panel

hansonr
authored and
hansonr
committed

Commits on Dec 3, 2018

adds @Overrides

hansonr
authored and
hansonr
committed

Commits on Dec 4, 2018

various JTableUI work

hansonr
authored and
hansonr
committed
Merge pull request #72 from BobHanson/hanson1
BobHanson
authored