plugin_time_gresources = gnome.compile_resources( 'gedit-time-resources', 'gedit-time.gresource.xml', ) plugin_time_sources += plugin_time_gresources[0]