- x += width;
-#else
-
- x += 3;
-
- pain.fillRectangle(int(x), baseline - ascent(pain, font) + 1,
- width(pain, font) - 6,
- ascent(pain, font) + descent(pain, font) - 2,
- LColor::insetbg);
- // Tell whether this slows down the drawing (ale)
- // lets draw editable and non-editable insets differently
- if (Editable()) {
- int y = baseline - ascent(pain, font) + 1;
- int w = width(pain, font) - 6;
- int h = ascent(pain, font) + descent(pain, font) - 2;
- pain.rectangle(int(x), y, w, h, LColor::insetframe);
- } else {
-
- pain.rectangle(int(x), baseline - ascent(pain, font) + 1,
- width(pain, font) - 6,
- ascent(pain, font) + descent(pain, font) - 2,
- LColor::insetframe);
- }
- string s = getScreenLabel();
- LyXFont f(font);
- f.decSize();
- f.setColor(LColor::none);
- f.setLatex(LyXFont::OFF);
- pain.text(int(x + 2), baseline, s, f);
-
- x += width(pain, font) - 3;
-#endif