summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorCarsten Haitzler <raster@rasterman.com>2012-12-15 03:30:01 +0000
committerCarsten Haitzler <raster@rasterman.com>2012-12-15 03:30:01 +0000
commitff051363b9490778d731faea3e0f2b1b4f545edc (patch)
treebcf61f1287764c19bdabb787df68acecc18aa8ac
parentd18cc903675cd2fa736078e09e1b74084b82d559 (diff)
clean up terminology theme adjustment padding for bevels.
SVN revision: 81007
-rw-r--r--data/themes/default.edc10
1 files changed, 5 insertions, 5 deletions
diff --git a/data/themes/default.edc b/data/themes/default.edc
index 62b94bf..2d80762 100644
--- a/data/themes/default.edc
+++ b/data/themes/default.edc
@@ -127,7 +127,7 @@ collections {
127 // actual text grid for chars, cursors, selectiond etc. goes here 127 // actual text grid for chars, cursors, selectiond etc. goes here
128 part { name: "terminology.content"; type: SWALLOW; 128 part { name: "terminology.content"; type: SWALLOW;
129 description { state: "default" 0.0; 129 description { state: "default" 0.0;
130 rel1.offset: 1 2; 130 rel1.offset: 1 1;
131 rel2.offset: -2 -2; 131 rel2.offset: -2 -2;
132 } 132 }
133 } 133 }
@@ -137,7 +137,7 @@ collections {
137 part { name: "bevel"; 137 part { name: "bevel";
138 mouse_events: 0; 138 mouse_events: 0;
139 description { state: "default" 0.0; 139 description { state: "default" 0.0;
140 rel1.offset: 0 0; 140 rel1.offset: 0 -1;
141 rel2.offset: -1 -1; 141 rel2.offset: -1 -1;
142 image.normal: "bg_bevel.png"; 142 image.normal: "bg_bevel.png";
143 image.border: 3 3 5 3; 143 image.border: 3 3 5 3;
@@ -160,11 +160,11 @@ collections {
160 max: 79 5; 160 max: 79 5;
161 rel1 { 161 rel1 {
162 relative: 0.0 0.0; 162 relative: 0.0 0.0;
163 offset: 0 1; 163 offset: 0 0;
164 } 164 }
165 rel2 { 165 rel2 {
166 relative: 1.0 0.0; 166 relative: 1.0 0.0;
167 offset: -1 1; 167 offset: -1 0;
168 } 168 }
169 image.normal: "bg_glint.png"; 169 image.normal: "bg_glint.png";
170 } 170 }
@@ -172,7 +172,7 @@ collections {
172 part { name: "shine"; 172 part { name: "shine";
173 mouse_events: 0; 173 mouse_events: 0;
174 description { state: "default" 0.0; 174 description { state: "default" 0.0;
175 rel1.offset: 0 1; 175 rel1.offset: 0 0;
176 rel2.offset: -1 -1; 176 rel2.offset: -1 -1;
177 image.normal: "bg_shine.png"; 177 image.normal: "bg_shine.png";
178 fill.smooth: 0; 178 fill.smooth: 0;