Paul Chote 1109ec53d1 Update UI timers for variable game speed.

2015-09-06 17:48:42 +01:00

..

ChromeMetrics.cs

Updated all year numbers

2015-01-09 21:18:05 +01:00

RootWidget.cs

add a hotkey to hide the UI widgets

2015-06-28 16:29:25 +02:00

Widget.cs

Extract ScrollPanel tooltip workaround into common code.

2015-08-05 09:11:19 +01:00

WidgetLoader.cs

Updated all year numbers

2015-01-09 21:18:05 +01:00

WidgetUtils.cs

Update UI timers for variable game speed.

2015-09-06 17:48:42 +01:00

WorldInteractionControllerWidget.cs

Freezes map after game ends.

2015-07-25 18:56:23 +03:00