public void add_view(Image button_image, string button_text, BaseWidget view_widget, bool default_view=false)
{
taskbar.add_dropdown_option(button_image, button_text, view_clicked);
views.Add(button_text, view_widget);
if (default_view) {
set_current_view(button_text);
}
if (view_widget.GetType() == typeof(LogsWidget)) {
logs_widget = (LogsWidget)view_widget;
}
}
public bool set_current_view(string view_name)
{
if (this.current_view != null) {
this.current_view.unregister_elements();
this.current_view = null;
}
if (views.Contains(view_name)) {
current_view = (BaseWidget)views[view_name];
current_view.register_elements();
taskbar.update_title("Distillery - " + view_name);
return true;
}
return false;
}
public void set_start_menu(BaseWidget start_menu)
{
}