+ // Add a splash screen to the centre of the work area
+ string const splash_file = (lyxrc.show_banner) ?
+ LibFileSearch("images", "banner", "xpm") : string();
+
+ if (!splash_file.empty()) {
+ int const splash_w = 425;
+ int const splash_h = 290;
+ int const splash_x = xpos + (width - 15 - splash_w) / 2;
+ int const splash_y = ypos + (height - splash_h) / 2;
+ splash_ = obj =
+ fl_add_pixmapbutton(FL_NORMAL_BUTTON,
+ splash_x, splash_y,
+ splash_w, splash_h, "");
+ fl_set_pixmapbutton_file(obj, splash_file.c_str());
+ fl_set_pixmapbutton_focus_outline(obj, 3);
+ fl_set_object_boxtype(obj, FL_NO_BOX);
+
+ int const text_x = splash_x + 260;
+ int const text_y = splash_y + 255;
+ splash_text_ = obj =
+ fl_add_text(FL_NORMAL_TEXT, text_x, text_y, 160, 16,
+ lyx_version);
+ fl_set_object_lsize(obj, FL_NORMAL_SIZE);
+ fl_mapcolor(FL_FREE_COL2, 0x2b, 0x47, 0x82);
+ fl_mapcolor(FL_FREE_COL3, 0xe1, 0xd2, 0x9b);
+ fl_set_object_color(obj, FL_FREE_COL2, FL_FREE_COL2);
+ fl_set_object_lcol(obj, FL_FREE_COL3);
+ fl_set_object_lalign(obj, FL_ALIGN_LEFT|FL_ALIGN_INSIDE);
+ fl_set_object_lstyle(obj, FL_BOLD_STYLE);
+ }
+