Gedit プラグインのパッチ

フォーラムにあった質問「Gedit で全角スペースが表示できないよ」に対応するため、OSC 会場で 10 分ハック。Python のコードなんて全然知らないけどフィーリングで（ぉ
Gnome の Bugzilla にさりげなく投げておいたのですが、今日返事がきましたよ。

I committed a patch that draws this kind of space and also some more, long term we should switch to the drawspace functionality that has been added to gtksourceview that uses pango to recognize different kind of spaces.