Peter Uithoven cf8d4556d0 pip: Adjust button size and margin for screen dpi scale (#396) ... Add reusable Util.get_ui_scaling_factor() Fixes: #395		2018-11-22 00:24:47 +01:00
..
ActivatableComponent.vala	remove Gee as a depedency for libgala, use GVariant instead of GValue for ActivatableComponent.open	2014-08-24 20:34:00 +02:00
gala.deps	lib: Drop stray clutter-gtk-1.0 reference	2016-11-15 17:56:40 +01:00
gala.pc.in	lib: Add missing datarootdir in pkg-config file	2018-03-18 17:06:21 +01:00
meson.build	meson: Use install_rpath as needed (#200)	2018-03-14 02:46:38 -05:00
Plugin.vala	remove Gee as a depedency for libgala, use GVariant instead of GValue for ActivatableComponent.open	2014-08-24 20:34:00 +02:00
Utils.vala	pip: Adjust button size and margin for screen dpi scale (#396)	2018-11-22 00:24:47 +01:00
WindowIcon.vala	Make window-switcher compatible with HiDPI (#154)	2018-02-14 21:17:31 +01:00
WindowManager.vala	Use separate daemon to display GTK window menus (#179)	2018-09-10 16:16:52 -06:00