mirror of
https://github.com/wesnoth/wesnoth
synced 2025-05-06 22:01:31 +00:00
Fixed minor graphical glitch since last commit :)
This commit is contained in:
parent
01d0eeb6f1
commit
a89e203914
@ -129,6 +129,7 @@ map_editor::map_editor(display &gui, gamemap &map, config &theme, config &game_c
|
||||
palette_.adjust_size();
|
||||
brush_.adjust_size();
|
||||
events::raise_draw_event();
|
||||
redraw_everything();
|
||||
}
|
||||
|
||||
map_editor::~map_editor() {
|
||||
|
@ -73,7 +73,6 @@ void terrain_palette::adjust_size() {
|
||||
top_button_.set_dirty();
|
||||
bot_button_.set_dirty();
|
||||
bg_backup();
|
||||
gui_.invalidate_all();
|
||||
set_dirty();
|
||||
}
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user