Paul Chote 13f5ef50b9 Fix production tooltip padding.

2018-12-08 15:32:58 +01:00

..

dropdowns.yaml

…

ingame-infostats.yaml

Add in-game tooltips for registered / anonymous players.

2018-07-29 00:30:17 +02:00

ingame-menu.yaml

…

ingame-player.yaml

Extracted RadarUp and RadarDown notifications to RadarWidget.

2018-09-24 22:43:14 +02:00

lobby-players.yaml

…

mainmenu.yaml

…

missionbrowser.yaml

…

multiplayer-browserpanels.yaml

…

tooltips.yaml

Fix production tooltip padding.

2018-12-08 15:32:58 +01:00