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 669837 - [PATCH]: Fix incomplete gedit_dirs_shutdown()
[PATCH]: Fix incomplete gedit_dirs_shutdown()
Status: RESOLVED FIXED
Product: gedit
Classification: Applications
Component: general
3.3.x
Other Linux
: Normal normal
: ---
Assigned To: Gedit maintainers
Gedit maintainers
Depends on:
Blocks:
 
 
Reported: 2012-02-10 21:15 UTC by Daniel Trebbien
Modified: 2012-02-10 21:44 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
Fix (733 bytes, patch)
2012-02-10 21:16 UTC, Daniel Trebbien 		none Details | Review

Description Daniel Trebbien 2012-02-10 21:15:31 UTC 
Also free `user_styles_dir`.
Comment 1 Daniel Trebbien 2012-02-10 21:16:34 UTC 
Created attachment 207296 [details] [review]
Fix
Comment 2 Paolo Borelli 2012-02-10 21:44:34 UTC 
Indeed I recently added and missed the shutdown. Thanks!