=== modified file 'src/graphic/text/rt_render.cc' --- src/graphic/text/rt_render.cc 2013-02-10 18:47:18 +0000 +++ src/graphic/text/rt_render.cc 2013-03-04 21:58:44 +0000 @@ -401,7 +401,8 @@ virtual uint16_t width() {return INFINITE_WIDTH; } virtual uint16_t hotspot_y() {return 0;} virtual Surface* render(SurfaceCache* /* surface_cache */) { - assert(false); // This should never be called + assert(false); + throw RenderError(format("This should never be called. This is a bug, please submit a report.").str()); } virtual bool is_non_mandatory_space() {return true;} }; === modified file 'src/ui_basic/button.h' --- src/ui_basic/button.h 2013-02-10 19:36:24 +0000 +++ src/ui_basic/button.h 2013-03-03 21:33:27 +0000 @@ -69,7 +69,7 @@ bool is_snap_target() const {return true;} // Drawing and event handlers - void draw(RenderTarget &)__attribute__((hot)); + void draw(RenderTarget &); void think(); void handle_mousein(bool inside); === modified file 'src/ui_basic/panel.h' --- src/ui_basic/panel.h 2013-02-10 19:36:24 +0000 +++ src/ui_basic/panel.h 2013-03-03 21:33:23 +0000 @@ -247,7 +247,7 @@ private: void check_child_death(); - void do_draw(RenderTarget &) __attribute__((hot)); + void do_draw(RenderTarget &); void do_draw_inner(RenderTarget &); void do_think();