Beispiel #1
0
void Frame::setTheme( Theme& t, const string prefix )
{
	beginUpdate();
	Widget::setTheme( t, prefix );
	setCursor( t.getCursor( prefix+"frame" ) );
	setFont( t.getFont( prefix+"frame" ) );
	endUpdate();
}
Beispiel #2
0
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();
}
Beispiel #3
0
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;
}
Beispiel #4
0
void TileView::setTheme( Theme & t, const string prefix )
{
	Widget::setTheme( t, prefix );
  setBorder( t.getBorder( prefix+"tileview" ) );
	setCursor( t.getCursor( prefix+"tileview" ) );
}