void editor_toolkit::adjust_size()
{
palette_manager_->adjust_size();
palette_manager_->draw(true);
brush_bar_->adjust_size();
brush_bar_->draw(true);
redraw_toolbar();
}
void editor_toolkit::adjust_size()
{
adjust_sizes(gui_, *size_specs_);
palette_manager_->adjust_size();
palette_manager_->draw(true);
brush_bar_->adjust_size();
brush_bar_->draw(true);
redraw_toolbar();
}
void editor_toolkit::hotkey_set_mouse_action(hotkey::HOTKEY_COMMAND command)
{
std::map<hotkey::HOTKEY_COMMAND, mouse_action*>::iterator i = mouse_actions_.find(command);
if (i != mouse_actions_.end()) {
mouse_action_ = i->second;
palette_manager_->adjust_size();
//TODO make active_palette() private again.
//palette_manager_->switch_palette();
gui_.set_palette_report(palette_manager_->active_palette().active_group_report());
set_mouseover_overlay();
redraw_toolbar();
gui_.invalidate_game_status();
} else {
ERR_ED << "Invalid hotkey command ("
<< static_cast<int>(command) << ") passed to set_mouse_action\n";
}
}