After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 592661 - duplicate id in .ui file
duplicate id in .ui file
Status: RESOLVED FIXED
Product: gnome-utils
Classification: Deprecated
Component: gdict
unspecified
Other Linux
: Normal normal
: ---
Assigned To: gnome-utils Maintainers
gnome-utils Maintainers
: 594540 (view as bug list)
Depends on:
Blocks:
 
 
Reported: 2009-08-22 04:21 UTC by Matthias Clasen
Modified: 2009-09-16 14:34 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
patch (1.08 KB, patch)
2009-08-25 10:14 UTC, Cosimo Cecchi 		committed Details | Review

Description Matthias Clasen 2009-08-22 04:21:49 UTC 
Makes the gnome-dictionary preferences crash...
Comment 1 Cosimo Cecchi 2009-08-25 10:14:03 UTC 
Created attachment 141627 [details] [review]
patch
Comment 2 Cosimo Cecchi 2009-08-25 10:26:36 UTC 
Pushed to master.

commit 39e3c048225ae21f835afbc30a81d9999bfdb4fe
Author: Cosimo Cecchi <cosimoc@gnome.org>
Date:   Tue Aug 25 12:13:26 2009 +0200

    Remove a duplicate id in the UI file
Comment 3 Sebastien Bacher 2009-09-16 14:34:37 UTC 
*** Bug 594540 has been marked as a duplicate of this bug. ***