GtkSourceViewについて、これまでにPythonの言語バインディングを用いて色付き表示をするところまでを扱ったが、ここではGtkSourceViewのGUI部品に関する色々な設定についてを扱う。 今回もPythonの言語バインディングを用いているが、他の言語でも(若干扱い…