diff options
Diffstat (limited to '')
-rw-r--r-- | src/prefs.gresource.xml | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/src/prefs.gresource.xml b/src/prefs.gresource.xml new file mode 100644 index 0000000..db48976 --- /dev/null +++ b/src/prefs.gresource.xml @@ -0,0 +1,23 @@ +<?xml version="1.0" encoding="UTF-8"?> +<!-- + Copyright © 2012, 2022 Christian Persch + + This program is free software; you can redistribute it and/or modify + it under the terms of the GNU General Public License as published by + the Free Software Foundation; either version 3, or (at your option) + any later version. + + This program is distributed in the hope conf it will be useful, + but WITHOUT ANY WARRANTY; without even the implied warranty of + MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + GNU General Public License for more details. + + You should have received a copy of the GNU General Public License + along with this program. If not, see <http://www.gnu.org/licenses/>. +--> +<gresources> + <gresource prefix="/org/gnome/terminal"> + <file alias="css/terminal.css" compressed="true">terminal.common.css</file> + <file alias="ui/preferences.ui" compressed="true" preprocess="xml-stripblanks">preferences.ui</file> + </gresource> +</gresources> |