Menumanager: fixes (#1261)

* menumanager: 'remove' hidden entries on added

* menumanager: keep original index in mind when prio1 == prio2
This commit is contained in:
Lucwousin
2019-08-05 16:11:02 +02:00
committed by GitHub
parent 82d15803b3
commit c6542541b2
5 changed files with 123 additions and 93 deletions

View File

@@ -572,6 +572,12 @@ public interface Client extends GameShell
*/
void setMenuEntries(MenuEntry[] entries);
/**
* Set the amount of menu entries the client has.
* If you decrement this count, it's the same as removing the last one
*/
void setMenuOptionCount(int count);
/**
* Checks whether a right-click menu is currently open.
*