46 // Need to support:
47 // default_outside_border: Insets when default.
48 // interior_focus: Indicates if focus should appear inside border, or
49 // outside border.
50 // focus-line-width: Integer giving size of focus border
51 // focus-padding: Integer giving padding between border and focus
52 // indicator.
53 // focus-line-pattern:
54 //
55 class GTKPainter extends SynthPainter {
56 private static final PositionType[] POSITIONS = {
57 PositionType.BOTTOM, PositionType.RIGHT,
58 PositionType.TOP, PositionType.LEFT
59 };
60
61 private static final ShadowType SHADOWS[] = {
62 ShadowType.NONE, ShadowType.IN, ShadowType.OUT,
63 ShadowType.ETCHED_IN, ShadowType.OUT
64 };
65
66 private final static GTKEngine ENGINE = GTKEngine.INSTANCE;
67 final static GTKPainter INSTANCE = new GTKPainter();
68
69 private GTKPainter() {
70 }
71
72 private String getName(SynthContext context) {
73 return (context.getRegion().isSubregion()) ? null :
74 context.getComponent().getName();
75 }
76
77 public void paintCheckBoxBackground(SynthContext context,
78 Graphics g, int x, int y, int w, int h) {
79 paintRadioButtonBackground(context, g, x, y, w, h);
80 }
81
82 public void paintCheckBoxMenuItemBackground(SynthContext context,
83 Graphics g, int x, int y, int w, int h) {
84 paintRadioButtonMenuItemBackground(context, g, x, y, w, h);
85 }
86
87 // FORMATTED_TEXT_FIELD
|
46 // Need to support:
47 // default_outside_border: Insets when default.
48 // interior_focus: Indicates if focus should appear inside border, or
49 // outside border.
50 // focus-line-width: Integer giving size of focus border
51 // focus-padding: Integer giving padding between border and focus
52 // indicator.
53 // focus-line-pattern:
54 //
55 class GTKPainter extends SynthPainter {
56 private static final PositionType[] POSITIONS = {
57 PositionType.BOTTOM, PositionType.RIGHT,
58 PositionType.TOP, PositionType.LEFT
59 };
60
61 private static final ShadowType SHADOWS[] = {
62 ShadowType.NONE, ShadowType.IN, ShadowType.OUT,
63 ShadowType.ETCHED_IN, ShadowType.OUT
64 };
65
66 private static final GTKEngine ENGINE = GTKEngine.INSTANCE;
67 static final GTKPainter INSTANCE = new GTKPainter();
68
69 private GTKPainter() {
70 }
71
72 private String getName(SynthContext context) {
73 return (context.getRegion().isSubregion()) ? null :
74 context.getComponent().getName();
75 }
76
77 public void paintCheckBoxBackground(SynthContext context,
78 Graphics g, int x, int y, int w, int h) {
79 paintRadioButtonBackground(context, g, x, y, w, h);
80 }
81
82 public void paintCheckBoxMenuItemBackground(SynthContext context,
83 Graphics g, int x, int y, int w, int h) {
84 paintRadioButtonMenuItemBackground(context, g, x, y, w, h);
85 }
86
87 // FORMATTED_TEXT_FIELD
|