- // Draw it as a box with the LaTeX text
- x += 3;
-
- //scr.drawFilledRectangle(int(x), baseline - Ascent(font) + 1,
- // Width(font) - 2, Ascent(font) + Descent(font)-2,
- // FL_GRAY80);
- scr.fillRectangle(gc_lighted,
- int(x), baseline - Ascent(font) + 1,
- Width(font) - 6,
- Ascent(font) + Descent(font)-2);
- // Tell whether this slows down the drawing (ale)
- // lets draw editable and non-editable insets differently
- if (Editable()) {
- int y = baseline - Ascent(font)+1, w = Width(font)-6,
- h = (Ascent(font)+Descent(font)-2);
- scr.drawFrame(FL_UP_FRAME, int(x), y, w, h, FL_BLACK, -1);
- } else {
- //scr.drawRectangle(int(x), baseline - Ascent(font)+1,
- // Width(font)-2, Ascent(font)+Descent(font)-2,
- // FL_BLACK);
- scr.drawRectangle(gc_note_frame,
- int(x), baseline - Ascent(font)+1,
- Width(font)-6,
- Ascent(font)+Descent(font)-2);
- }
- string s = getScreenLabel();
- LyXFont f = font;
- f.decSize();
- f.setColor(LyXFont::NONE);
- f.setLatex(LyXFont::OFF);
- scr.drawString(f, s, baseline, int(x+2));
-
- x += Width(font) - 3;