GUI optimizations
This commit is contained in:
parent
3953fd16f3
commit
10f3ff40de
11 changed files with 120 additions and 121 deletions
|
|
@ -21,7 +21,7 @@ void BookmarkManager::refresh_gui_data() {
|
|||
nameForNew.clear();
|
||||
}
|
||||
|
||||
void BookmarkManager::setup_list_gui(const std::string& id) {
|
||||
void BookmarkManager::setup_list_gui(const char* id) {
|
||||
using namespace NetworkingObjects;
|
||||
if(bookmarkListRoot) {
|
||||
auto& gui = world.main.toolbar.gui;
|
||||
|
|
|
|||
|
|
@ -13,7 +13,7 @@ class BookmarkManager {
|
|||
BookmarkManager(World& w);
|
||||
void server_init_no_file();
|
||||
void scale_up(const WorldScalar& scaleUpAmount);
|
||||
void setup_list_gui(const std::string& id);
|
||||
void setup_list_gui(const char* id);
|
||||
void refresh_gui_data();
|
||||
void save_file(cereal::PortableBinaryOutputArchive& a) const;
|
||||
void load_file(cereal::PortableBinaryInputArchive& a, VersionNumber version);
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue