} // namespace anon
-int GUIRunTime::initApplication(int , char **)
+int GUIRunTime::initApplication(int &, char **)
{
// Check the XForms version in the forms.h header against
// the one in the libforms. If they don't match quit the
void GUIRunTime::processEvents()
{
- XEvent ev;
-
if (fl_do_forms() == FL_EVENT) {
- lyxerr << "LyX: This shouldn't happen..." << endl;
+ XEvent ev;
fl_XNextEvent(&ev);
+ lyxerr << "Received unhandled X11 event" << endl;
+ lyxerr << "Type: 0x" << std::hex << ev.xany.type <<
+ "Target: 0x" << std::hex << ev.xany.window << endl;
}
}
void GUIRunTime::runTime()
{
- XEvent ev;
while (!finished) {
if (fl_check_forms() == FL_EVENT) {
- lyxerr << "LyX: This shouldn't happen..." << endl;
+ XEvent ev;
fl_XNextEvent(&ev);
+ lyxerr << "Received unhandled X11 event" << endl;
+ lyxerr << "Type: 0x" << std::hex << ev.xany.type <<
+ "Target: 0x" << std::hex << ev.xany.window << endl;
}
}
}
{
return fl_get_visual_depth();
}
+
+float GUIRunTime::getScreenDPI()
+{
+ Screen * scr = ScreenOfDisplay(fl_get_display(), fl_screen);
+ return ((HeightOfScreen(scr) * 25.4 / HeightMMOfScreen(scr)) +
+ (WidthOfScreen(scr) * 25.4 / WidthMMOfScreen(scr))) / 2;
+}