Attachment #140585 for bug #281770

Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

View | Details | Raw Unified | Return to bug 281770
Collapse All | Expand All




<?xml version="1.0" encoding="iso-8859-1" ?>
<!--
 Copyright (c) 2008, 2009 Innoopract Informationssysteme GmbH.
 All rights reserved. This program and the accompanying materials
 are made available under the terms of the Eclipse Public License v1.0
 which accompanies this distribution, and is available at


 Contributors:
     Innoopract Informationssysteme GmbH - initial API and implementation
     EclipseSource - ongoing development
 -->

<theme>

          The size of the image should be 12 x 5 pixels.
        </description>
      </property>
      
      <property name="background-color" type="color">
        <description>
          The background color of the Spinner up button.
        </description>
      </property> 

      <property name="border" type="border">
        <description>
          The border of the Spinner up button.
        </description>
      </property>
          
      <state name="pressed"
          description="Applies while a button is pressed." />

    </element>


          The size of the image should be 12 x 5 pixels.
        </description>
      </property>
      
      <property name="background-color" type="color">
        <description>
          The background color of the Spinner down button.
        </description>
      </property> 

      <property name="border" type="border">
        <description>
          The border of the Spinner down button.
        </description>
      </property>
          
      <state name="pressed"
          description="Applies while a button is pressed." />

    </element>


Lines 13-20 Link Here

(-)src/org/eclipse/swt/internal/widgets/spinnerkit/Spinner.default.css (-1 / +13 lines)
13		13
14	Spinner-UpButton {	14	Spinner-UpButton {
15	background-image: url( resource/widget/rap/spinner/up_button.gif );	15	background-image: url( resource/widget/rap/spinner/up_button.gif );
		16	background-color: rgb( 248, 248, 255 );
		17	border: 2px outset;
		18	}
		19
		20	Spinner-UpButton:pressed {
		21	border: 2px inset;
16	}	22	}
17		23
18	Spinner-DownButton {	24	Spinner-DownButton {
19	background-image: url( resource/widget/rap/spinner/down_button.gif );	25	background-image: url( resource/widget/rap/spinner/down_button.gif );
20	}	26	background-color: rgb( 248, 248, 255 );
		27	border: 2px outset;
		28	}
		29
		30	Spinner-DownButton:pressed {
		31	border: 2px inset;
		32	}




    }
  },

  "spinner-button" : {
    style : function( states ) {
      var tv = new org.eclipse.swt.theme.ThemeValues( states );
      var result = {
        width : 16,
        backgroundColor : tv.getCssColor( "*", "background-color" )
      };
      if( states.rwt_FLAT ) {
        result.border = "undefined";
      } else if( states.pressed || states.checked || states.abandoned ) {
        result.border = "inset";
      } else {
        result.border = "outset";
      }
      return result;
    }
  },

  "spinner-button-up" : {
    include : "spinner-button",
    style : function( states ) {
      var result = {};
      var tv = new org.eclipse.swt.theme.ThemeValues( states );
      result.width = 16;
      result.source = tv.getCssImage( "Spinner-UpButton", "background-image" );
      result.border = tv.getCssBorder( "Spinner-UpButton", "border" );
      result.backgroundColor = tv.getCssColor( "Spinner-UpButton", 
                                               "background-color" );
      return result;
    }
  },

  "spinner-button-down" : {
    include : "spinner-button",
    style : function( states ) {
      var result = {};
      var tv = new org.eclipse.swt.theme.ThemeValues( states );
      result.width = 16;
      result.source = tv.getCssImage( "Spinner-DownButton", "background-image" );
      result.border = tv.getCssBorder( "Spinner-DownButton", "border" );
      result.backgroundColor = tv.getCssColor( "Spinner-DownButton", 
                                               "background-color" );
      return result;
    }
  },


Return to bug 281770

Lines 1154-1194 Link Here

(-)js/org/eclipse/swt/theme/AppearancesBase.js (-26 / +14 lines)
1154	}	1154	}
1155	},	1155	},
1156		1156
1157	"spinner-button" : {
1158	style : function( states ) {
1159	var tv = new org.eclipse.swt.theme.ThemeValues( states );
1160	var result = {
1161	width : 16,
1162	backgroundColor : tv.getCssColor( "*", "background-color" )
1163	};
1164	if( states.rwt_FLAT ) {
1165	result.border = "undefined";
1166	} else if( states.pressed \|\| states.checked \|\| states.abandoned ) {
1167	result.border = "inset";
1168	} else {
1169	result.border = "outset";
1170	}
1171	return result;
1172	}
1173	},
1174
1175	"spinner-button-up" : {	1157	"spinner-button-up" : {
1176	include : "spinner-button",
1177	style : function( states ) {	1158	style : function( states ) {
		1159	var result = {};
1178	var tv = new org.eclipse.swt.theme.ThemeValues( states );	1160	var tv = new org.eclipse.swt.theme.ThemeValues( states );
1179	return {	1161	result.width = 16;
1180	source : tv.getCssImage( "Spinner-UpButton", "background-image" )	1162	result.source = tv.getCssImage( "Spinner-UpButton", "background-image" );
1181	};	1163	result.border = tv.getCssBorder( "Spinner-UpButton", "border" );
		1164	result.backgroundColor = tv.getCssColor( "Spinner-UpButton",
		1165	"background-color" );
		1166	return result;
1182	}	1167	}
1183	},	1168	},
1184		1169
1185	"spinner-button-down" : {	1170	"spinner-button-down" : {
1186	include : "spinner-button",
1187	style : function( states ) {	1171	style : function( states ) {
		1172	var result = {};
1188	var tv = new org.eclipse.swt.theme.ThemeValues( states );	1173	var tv = new org.eclipse.swt.theme.ThemeValues( states );
1189	return {	1174	result.width = 16;
1190	source : tv.getCssImage( "Spinner-DownButton", "background-image" )	1175	result.source = tv.getCssImage( "Spinner-DownButton", "background-image" );
1191	};	1176	result.border = tv.getCssBorder( "Spinner-DownButton", "border" );
		1177	result.backgroundColor = tv.getCssColor( "Spinner-DownButton",
		1178	"background-color" );
		1179	return result;
1192	}	1180	}
1193	},	1181	},
1194		1182

Lines 1-6 Link Here

(-)src/org/eclipse/swt/internal/widgets/spinnerkit/Spinner.theme.xml (-1 / +32 lines)
1	<?xml version="1.0" encoding="iso-8859-1" ?>	1	<?xml version="1.0" encoding="iso-8859-1" ?>
2	<!--	2	<!--
3	Copyright (c) 2008 Innoopract Informationssysteme GmbH.	3	Copyright (c) 2008, 2009 Innoopract Informationssysteme GmbH.
4	All rights reserved. This program and the accompanying materials	4	All rights reserved. This program and the accompanying materials
5	are made available under the terms of the Eclipse Public License v1.0	5	are made available under the terms of the Eclipse Public License v1.0
6	which accompanies this distribution, and is available at	6	which accompanies this distribution, and is available at
Lines 8-13 Link Here
8		8
9	Contributors:	9	Contributors:
10	Innoopract Informationssysteme GmbH - initial API and implementation	10	Innoopract Informationssysteme GmbH - initial API and implementation
		11	EclipseSource - ongoing development
11	-->	12	-->
12		13
13	<theme>	14	<theme>
Lines 49-54 Link Here
49	The size of the image should be 12 x 5 pixels.	50	The size of the image should be 12 x 5 pixels.
50	</description>	51	</description>
51	</property>	52	</property>
		53
		54	<property name="background-color" type="color">
		55	<description>
		56	The background color of the Spinner up button.
		57	</description>
		58	</property>
		59
		60	<property name="border" type="border">
		61	<description>
		62	The border of the Spinner up button.
		63	</description>
		64	</property>
		65
		66	<state name="pressed"
		67	description="Applies while a button is pressed." />
52		68
53	</element>	69	</element>
54		70
Lines 61-66 Link Here
61	The size of the image should be 12 x 5 pixels.	77	The size of the image should be 12 x 5 pixels.
62	</description>	78	</description>
63	</property>	79	</property>
		80
		81	<property name="background-color" type="color">
		82	<description>
		83	The background color of the Spinner down button.
		84	</description>
		85	</property>
		86
		87	<property name="border" type="border">
		88	<description>
		89	The border of the Spinner down button.
		90	</description>
		91	</property>
		92
		93	<state name="pressed"
		94	description="Applies while a button is pressed." />
64		95
65	</element>	96	</element>
66		97