Include precompiled versions of .ui filesbuilder-precompile

These are smaller, and a faster to process than .ui files.

30 files changed, 1 insertions, 1 deletions

diff --git a/gtk/gen-gtk-gresources-xml.py b/gtk/gen-gtk-gresources-xml.py
index 179761a154..427623fb00 100644
--- a/gtk/gen-gtk-gresources-xml.py
+++ b/gtk/gen-gtk-gresources-xml.py
@@ -66,7 +66,7 @@ for f in get_files('theme/Default/assets-hc', '.svg'):
   xml += '    <file preprocess=\'xml-stripblanks\'>theme/Default/assets-hc/{0}</file>\n'.format(f)
 
 for f in get_files('ui', '.ui'):
-  xml += '    <file>ui/{0}</file>\n'.format(f)
+  xml += '    <file alias="ui/{0}">ui/{0}.precompiled</file>\n'.format(f)
 
 xml += '\n'
 
diff --git a/gtk/ui/gtkaboutdialog.ui.precompiled b/gtk/ui/gtkaboutdialog.ui.precompiled
new file mode 100644
index 0000000000..a5aedb11b8
--- /dev/null
+++ b/gtk/ui/gtkaboutdialog.ui.precompiled
diff --git a/gtk/ui/gtkappchooserdialog.ui.precompiled b/gtk/ui/gtkappchooserdialog.ui.precompiled
new file mode 100644
index 0000000000..75d744fbe4
--- /dev/null
+++ b/gtk/ui/gtkappchooserdialog.ui.precompiled
diff --git a/gtk/ui/gtkappchooserwidget.ui.precompiled b/gtk/ui/gtkappchooserwidget.ui.precompiled
new file mode 100644
index 0000000000..f85e6b1528
--- /dev/null
+++ b/gtk/ui/gtkappchooserwidget.ui.precompiled
diff --git a/gtk/ui/gtkapplication-quartz.ui.precompiled b/gtk/ui/gtkapplication-quartz.ui.precompiled
new file mode 100644
index 0000000000..f251c8d0ce
--- /dev/null
+++ b/gtk/ui/gtkapplication-quartz.ui.precompiled
diff --git a/gtk/ui/gtkassistant.ui.precompiled b/gtk/ui/gtkassistant.ui.precompiled
new file mode 100644
index 0000000000..cd621bb0c5
--- /dev/null
+++ b/gtk/ui/gtkassistant.ui.precompiled
diff --git a/gtk/ui/gtkcolorchooserdialog.ui.precompiled b/gtk/ui/gtkcolorchooserdialog.ui.precompiled
new file mode 100644
index 0000000000..2f3b42b827
--- /dev/null
+++ b/gtk/ui/gtkcolorchooserdialog.ui.precompiled
diff --git a/gtk/ui/gtkcoloreditor.ui.precompiled b/gtk/ui/gtkcoloreditor.ui.precompiled
new file mode 100644
index 0000000000..bf651a5d46
--- /dev/null
+++ b/gtk/ui/gtkcoloreditor.ui.precompiled
diff --git a/gtk/ui/gtkcombobox.ui.precompiled b/gtk/ui/gtkcombobox.ui.precompiled
new file mode 100644
index 0000000000..6c051e9196
--- /dev/null
+++ b/gtk/ui/gtkcombobox.ui.precompiled
diff --git a/gtk/ui/gtkdialog.ui.precompiled b/gtk/ui/gtkdialog.ui.precompiled
new file mode 100644
index 0000000000..095103a098
--- /dev/null
+++ b/gtk/ui/gtkdialog.ui.precompiled
diff --git a/gtk/ui/gtkdropdown.ui.precompiled b/gtk/ui/gtkdropdown.ui.precompiled
new file mode 100644
index 0000000000..2fbfd0d1ca
--- /dev/null
+++ b/gtk/ui/gtkdropdown.ui.precompiled
diff --git a/gtk/ui/gtkemojichooser.ui.precompiled b/gtk/ui/gtkemojichooser.ui.precompiled
new file mode 100644
index 0000000000..c83ba7aaa3
--- /dev/null
+++ b/gtk/ui/gtkemojichooser.ui.precompiled
diff --git a/gtk/ui/gtkemojicompletion.ui.precompiled b/gtk/ui/gtkemojicompletion.ui.precompiled
new file mode 100644
index 0000000000..1f6b99c2f9
--- /dev/null
+++ b/gtk/ui/gtkemojicompletion.ui.precompiled
diff --git a/gtk/ui/gtkfilechooserdialog.ui.precompiled b/gtk/ui/gtkfilechooserdialog.ui.precompiled
new file mode 100644
index 0000000000..9cea49176b
--- /dev/null
+++ b/gtk/ui/gtkfilechooserdialog.ui.precompiled
diff --git a/gtk/ui/gtkfilechooserwidget.ui.precompiled b/gtk/ui/gtkfilechooserwidget.ui.precompiled
new file mode 100644
index 0000000000..17ab104b8f
--- /dev/null
+++ b/gtk/ui/gtkfilechooserwidget.ui.precompiled
diff --git a/gtk/ui/gtkfontchooserdialog.ui.precompiled b/gtk/ui/gtkfontchooserdialog.ui.precompiled
new file mode 100644
index 0000000000..70884d67e7
--- /dev/null
+++ b/gtk/ui/gtkfontchooserdialog.ui.precompiled
diff --git a/gtk/ui/gtkfontchooserwidget.ui.precompiled b/gtk/ui/gtkfontchooserwidget.ui.precompiled
new file mode 100644
index 0000000000..b4ecc26e0e
--- /dev/null
+++ b/gtk/ui/gtkfontchooserwidget.ui.precompiled
diff --git a/gtk/ui/gtklockbutton.ui.precompiled b/gtk/ui/gtklockbutton.ui.precompiled
new file mode 100644
index 0000000000..9dbc04a962
--- /dev/null
+++ b/gtk/ui/gtklockbutton.ui.precompiled
diff --git a/gtk/ui/gtkmediacontrols.ui.precompiled b/gtk/ui/gtkmediacontrols.ui.precompiled
new file mode 100644
index 0000000000..66930b4010
--- /dev/null
+++ b/gtk/ui/gtkmediacontrols.ui.precompiled
diff --git a/gtk/ui/gtkmessagedialog.ui.precompiled b/gtk/ui/gtkmessagedialog.ui.precompiled
new file mode 100644
index 0000000000..dfc78c1f21
--- /dev/null
+++ b/gtk/ui/gtkmessagedialog.ui.precompiled
diff --git a/gtk/ui/gtkpagesetupunixdialog.ui.precompiled b/gtk/ui/gtkpagesetupunixdialog.ui.precompiled
new file mode 100644
index 0000000000..787191a6e7
--- /dev/null
+++ b/gtk/ui/gtkpagesetupunixdialog.ui.precompiled
diff --git a/gtk/ui/gtkplacesview.ui.precompiled b/gtk/ui/gtkplacesview.ui.precompiled
new file mode 100644
index 0000000000..17cc82f1ba
--- /dev/null
+++ b/gtk/ui/gtkplacesview.ui.precompiled
diff --git a/gtk/ui/gtkplacesviewrow.ui.precompiled b/gtk/ui/gtkplacesviewrow.ui.precompiled
new file mode 100644
index 0000000000..91df3dfeaa
--- /dev/null
+++ b/gtk/ui/gtkplacesviewrow.ui.precompiled
diff --git a/gtk/ui/gtkprintunixdialog.ui.precompiled b/gtk/ui/gtkprintunixdialog.ui.precompiled
new file mode 100644
index 0000000000..e599d1f289
--- /dev/null
+++ b/gtk/ui/gtkprintunixdialog.ui.precompiled
diff --git a/gtk/ui/gtkscalebutton.ui.precompiled b/gtk/ui/gtkscalebutton.ui.precompiled
new file mode 100644
index 0000000000..3d61de6a12
--- /dev/null
+++ b/gtk/ui/gtkscalebutton.ui.precompiled
diff --git a/gtk/ui/gtksidebarrow.ui.precompiled b/gtk/ui/gtksidebarrow.ui.precompiled
new file mode 100644
index 0000000000..d862bf8817
--- /dev/null
+++ b/gtk/ui/gtksidebarrow.ui.precompiled
diff --git a/gtk/ui/gtkstatusbar.ui.precompiled b/gtk/ui/gtkstatusbar.ui.precompiled
new file mode 100644
index 0000000000..7c02f2e1d1
--- /dev/null
+++ b/gtk/ui/gtkstatusbar.ui.precompiled
diff --git a/gtk/ui/gtktooltipwindow.ui.precompiled b/gtk/ui/gtktooltipwindow.ui.precompiled
new file mode 100644
index 0000000000..b59eebaef3
--- /dev/null
+++ b/gtk/ui/gtktooltipwindow.ui.precompiled
diff --git a/gtk/ui/gtkvideo.ui.precompiled b/gtk/ui/gtkvideo.ui.precompiled
new file mode 100644
index 0000000000..073664a2bc
--- /dev/null
+++ b/gtk/ui/gtkvideo.ui.precompiled
diff --git a/gtk/ui/gtkvolumebutton.ui.precompiled b/gtk/ui/gtkvolumebutton.ui.precompiled
new file mode 100644
index 0000000000..45939773dd
--- /dev/null
+++ b/gtk/ui/gtkvolumebutton.ui.precompiled