wtop = gtk_window_new (type);
#ifdef HAVE_PGTK
gtk_widget_add_events(wtop, GDK_ALL_EVENTS_MASK);
- gtk_window_set_hide_titlebar_when_maximized(GTK_WINDOW(wtop), TRUE);
#endif
/* gtk_window_set_has_resize_grip is a Gtk+ 3.0 function but Ubuntu
}
-
+#ifdef PGTK_DEBUG
#include <stdarg.h>
#include <time.h>
void pgtk_log(const char *file, int lineno, const char *fmt, ...)
va_end(ap);
fputc('\n', stderr);
}
-#ifdef PGTK_DEBUG
+
void pgtk_backtrace(const char *file, int lineno)
{
Lisp_Object bt = make_uninit_vector(10);
Initialize global info and storage for display.
-------------------------------------------------------------------------- */
{
- dpyinfo->resx = 72.27; /* used 75.0, but this makes pt == pixel, expected */
- dpyinfo->resy = 72.27;
+ dpyinfo->resx = 96;
+ dpyinfo->resy = 96;
dpyinfo->color_p = 1;
dpyinfo->n_planes = 32;
dpyinfo->root_window = 42; /* a placeholder.. */
if (inev.ie.kind != NO_EVENT)
evq_enqueue(&inev);
- return TRUE;
+ return FALSE;
}
static gboolean delete_event(GtkWidget *widget, GdkEvent *event, gpointer *user_data)
{
GdkScreen *gscr = gdk_display_get_default_screen(dpyinfo->gdpy);
- gdouble dpi = gdk_screen_get_resolution(gscr);
+
+ GSettings *set = g_settings_new("org.gnome.desktop.interface");
+ gdouble x = g_settings_get_double(set,"text-scaling-factor");
+ gdouble dpi = 0;
+
+ dpi = 96.0 * x;
+ gdk_screen_set_resolution(gscr, dpi);
dpyinfo->resx = dpi;
dpyinfo->resy = dpi;
}