blob: d600f6660f0da8ed2f45a3bbf0355d4bbcff7d3d (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
Source: https://sources.debian.org/patches/regexxer/0.10-5/50_exception-prefdialog.patch/
Fixes: https://bugs.gentoo.org/853067
Description: Fix unhandled exception when opening the preferences dialog.
(regexxer:22047): glibmm-CRITICAL **: 19:10:28.070:
unhandled exception (type Glib::Error) in signal handler:
domain: gtk-builder-error-quark
code : 11
what : /usr/share/regexxer/prefdialog.ui:28:37 Invalid property:
gtkmm__GtkDialog.has_separator
Author: Yavor Doganov <yavor@gnu.org>
Last-Update: 2018-10-13
--- regexxer-0.10.orig/ui/prefdialog.ui
+++ regexxer-0.10/ui/prefdialog.ui
@@ -25,7 +25,6 @@
<object class="GtkDialog" id="prefdialog">
<property name="title" translatable="yes">Preferences</property>
<property name="type_hint">dialog</property>
- <property name="has_separator">False</property>
<child internal-child="vbox">
<object class="GtkVBox" id="dialog-vbox1">
<property name="visible">True</property>
|
