Gedit の色設定。

C は Emacs の方が書きやすいが、PHP は gedit の方が良いような気がする。Gedit は様々な色の設定を行えるが、等幅フォントに設定してもずれることがあった。というのも、NULL などの特定の文字で強調するために幅が少し大きくなってしまうためである。

とりあえず /usr/share/gtksourceview-2.0/styles/ に色々と xml ファイルが存在するので「bold="true"」の部分を削除すればOK。色分け bold でなくても十分良い。