void Frame::setTheme( Theme& t, const string prefix ) { beginUpdate(); Widget::setTheme( t, prefix ); setCursor( t.getCursor( prefix+"frame" ) ); setFont( t.getFont( prefix+"frame" ) ); endUpdate(); }
void PushButton::setTheme( Theme& t, const string prefix ) { beginUpdate(); Widget::setTheme( t, prefix ); setReleasedBorder( t.getBorder( prefix+"pushbutton_released" ) ); setPressedBorder( t.getBorder( prefix+"pushbutton_pressed" ) ); setFont( t.getFont( prefix+"pushbutton" ) ); setFontColor( t.getColor( prefix+"pushbutton_font" ) ); setImage( t.getImage( prefix+"pushbutton" ) ); setCursor( t.getCursor( prefix+"pushbutton" ) ); endUpdate(); }
void jmouse_set_cursor(CursorType type) { if (mouse_cursor_type == type) return; Theme* theme = CurrentTheme::get(); mouse_cursor_type = type; if (type == kNoCursor) { show_mouse(NULL); set_mouse_cursor(NULL); } else { show_mouse(NULL); set_mouse_cursor(theme->getCursor(type)); } dirty_display_flag = true; }
void TileView::setTheme( Theme & t, const string prefix ) { Widget::setTheme( t, prefix ); setBorder( t.getBorder( prefix+"tileview" ) ); setCursor( t.getCursor( prefix+"tileview" ) ); }