Bug#634085: [gedit] external tools fail unless 'Save' is set to 'Nothing'

Andreas Fackler AndreasFackler at gmx.de
Tue Jul 26 16:14:05 UTC 2011

Previous message: Bug#634085: [gedit] external tools fail unless 'Save' is set to 'Nothing'
Next message: Bug#635225: gnome-themes-standard: Missing index.theme / integration with alternatives
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Thank you, that solved the problem!
I submitted the bug and solution to upstream:
https://bugzilla.gnome.org/show_bug.cgi?id=655359

Previous message: Bug#634085: [gedit] external tools fail unless 'Save' is set to 'Nothing'
Next message: Bug#635225: gnome-themes-standard: Missing index.theme / integration with alternatives
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the pkg-gnome-maintainers mailing list