window_border = 10;
widget_border = 5;
this->mwindow = 0;
- theme_title = DEFAULT_THEME;
- data_buffer = 0;
- contents_buffer = 0;
+ theme_title = _(DEFAULT_THEME);
last_image = 0;
mtransport_margin = 0;
toggle_margin = 0;
void Theme::flush_images()
{
- if(data_buffer) delete [] data_buffer;
- if(contents_buffer) delete [] contents_buffer;
- data_buffer = 0;
- contents_buffer = 0;
- contents.remove_all();
}
void Theme::initialize()