Attachment #147437 for bug #289083

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 289083
Collapse All | Expand All




    <property name="background-color"
        type="color"
        description="Background color for tooltips." />
        
    <property name="border"
        type="border"
        description="Outer border for tooltips." />

    <property name="border-radius" type="boxdim">
        <description>
          Border radius. The border radius has no effect if an enhanced border,
          like "inset" or "outset" is used.
        </description>
    </property>

    <property name="background-image"
        type="image"
        description="Background image or gradient for tooltips." />

    <property name="padding"
        type="boxdim"
        description="Padding around the tooltips text." />
        
    <property name="font"
        type="font"
        description="Text font for tooltips." />

  </element>


Lines 12-17 Link Here

(-)src/org/eclipse/swt/internal/widgets/widgetkit/Widget.default.css (+2 lines)
12	}	12	}
13		13
14	ToolTip {	14	ToolTip {
		15	border: 1px solid;
		16	padding: 1px 3px 2px 3px;
15	color: black;	17	color: black;
16	background-color: rgb( 255, 255, 225 );	18	background-color: rgb( 255, 255, 225 );
17	}	19	}




    style : function( states ) {
      var tv = new org.eclipse.swt.theme.ThemeValues( states );
      var result = {};
      result.border = tv.getCssBorder( "ToolTip", "border" );
      result.padding = tv.getCssBoxDimensions( "ToolTip", "padding" );
      result.backgroundColor = tv.getCssColor( "ToolTip", "background-color" );
      result.textColor = tv.getCssColor( "ToolTip", "color" );
      result.font = tv.getCssFont( "ToolTip", "font" );
      result.backgroundColor = tv.getCssColor( "ToolTip", "background-color" );
      result.backgroundImage = tv.getCssImage( "ToolTip", "background-image" );
      result.backgroundGradient = tv.getCssGradient( "ToolTip", "background-image" );
      return result;
    }
  },

Return to bug 289083

Lines 115-120 Link Here

(-)src/org/eclipse/swt/internal/widgets/widgetkit/Widget.theme.xml (+23 lines)
115	<property name="background-color"	115	<property name="background-color"
116	type="color"	116	type="color"
117	description="Background color for tooltips." />	117	description="Background color for tooltips." />
		118
		119	<property name="border"
		120	type="border"
		121	description="Outer border for tooltips." />
		122
		123	<property name="border-radius" type="boxdim">
		124	<description>
		125	Border radius. The border radius has no effect if an enhanced border,
		126	like "inset" or "outset" is used.
		127	</description>
		128	</property>
		129
		130	<property name="background-image"
		131	type="image"
		132	description="Background image or gradient for tooltips." />
		133
		134	<property name="padding"
		135	type="boxdim"
		136	description="Padding around the tooltips text." />
		137
		138	<property name="font"
		139	type="font"
		140	description="Text font for tooltips." />
118		141
119	</element>	142	</element>
120		143

Lines 184-193 Link Here

(-)js/org/eclipse/swt/theme/AppearancesBase.js (-3 / +6 lines)
184	style : function( states ) {	184	style : function( states ) {
185	var tv = new org.eclipse.swt.theme.ThemeValues( states );	185	var tv = new org.eclipse.swt.theme.ThemeValues( states );
186	var result = {};	186	var result = {};
187	result.border = "info";	187	result.border = tv.getCssBorder( "ToolTip", "border" );
188	result.padding = [ 1, 3, 2, 3 ];	188	result.padding = tv.getCssBoxDimensions( "ToolTip", "padding" );
189	result.backgroundColor = tv.getCssColor( "ToolTip", "background-color" );
190	result.textColor = tv.getCssColor( "ToolTip", "color" );	189	result.textColor = tv.getCssColor( "ToolTip", "color" );
		190	result.font = tv.getCssFont( "ToolTip", "font" );
		191	result.backgroundColor = tv.getCssColor( "ToolTip", "background-color" );
		192	result.backgroundImage = tv.getCssImage( "ToolTip", "background-image" );
		193	result.backgroundGradient = tv.getCssGradient( "ToolTip", "background-image" );
191	return result;	194	return result;
192	}	195	}
193	},	196	},