Charles Hacskaylo bc7d92ee0d [Front-end] Menu tweaks ...

Fixes #1729
Mini super-menu and related description text

2017-09-25 12:08:04 -07:00

..

compatibility

[Time API] Modified public Time API to support registration of time systems and clocks, setting of active clock, simplification of clocks and time systems, setting of offsets(deltas) and other changes as per #1265 and #1474. Refactoring of UI code to support changes.

2017-04-28 16:03:59 -07:00

core

[Front-end] Menu tweaks

2017-09-25 12:08:04 -07:00