michaeldgg2 ca7e7c2304 ProductionTabsWidget: allow specifying different panels for left/right scroll button and tab buttons.

2023-01-27 12:30:38 +02:00

..

ExplicitSequenceFilenames.cs

Simplify tileset-specific sequence definitions.

2023-01-22 22:10:48 +02:00

ProductionTabsWidgetAddTabButtonCollection.cs

ProductionTabsWidget: allow specifying different panels for left/right scroll button and tab buttons.

2023-01-27 12:30:38 +02:00

RenameEngineerRepair.cs

Move RenameEngineerRepair to its proper folder

2023-01-25 12:00:57 +01:00

TextNotificationsDisplayWidgetRemoveTime.cs

…