|
CustomUIManager.php
|
updated copyright label
|
2020-01-22 10:39:35 +01:00 |
|
IconManager.php
|
updated copyright label
|
2020-01-22 10:39:35 +01:00 |
|
LabelLine.php
|
updated copyright label
|
2020-01-22 10:39:35 +01:00 |
|
ManialinkManager.php
|
Add Toggle Interface feature
|
2022-03-03 18:00:30 +01:00 |
|
ManialinkPageAnswerListener.php
|
updated copyright label
|
2020-01-22 10:39:35 +01:00 |
|
SidebarMenuEntry.php
|
New SidebarMenuManager Version
|
2017-05-19 18:36:41 +02:00 |
|
SidebarMenuEntryListener.php
|
updated copyright label
|
2020-01-22 10:39:35 +01:00 |
|
SidebarMenuManager.php
|
updated copyright label
|
2020-01-22 10:39:35 +01:00 |
|
StyleManager.php
|
Unified Creations of round Text-Buttons
|
2020-05-07 18:39:27 +02:00 |
|
ToggleInterfaceManager.php
|
Add an option to hide UI by default
|
2022-03-12 11:26:56 +01:00 |
