want_redraw        72 gui/dump/dump.h     bool want_redraw() { return false; }
want_redraw       715 gui/gui.cpp    	redraw_flag = _redraw_flag || want_redraw();
want_redraw       190 gui/gui.h          virtual bool want_redraw();