Linux Python 3
そろそろ Python を 3 に移行しようと思う。 はて、日本語はどうなるのだろう？ Linux ではまったく使っていなかったから解らない。 Gio Tips – L’Isola di Nien […]
検索結果: cli
Eye of GNOME 3 plugin Create
Rename Dialog Eye of GNOME 3.* plugin 公開。 EyeOfGnome/Plugins – GNOME Live! あれ、一番下に ~/.config/eog/plugins […]
Fedora 17 64bit Install (HDD)
あぁ Fedora インストールから半年経ってしまった。 恒例の OS 更新の季節がやってきた、メンドクセエ… ということで。 久々の blog 更新ですがマジで全然プログラミングしていなかった。 二月にスマ […]
WebKit Seed imports
GNOME の JavaScript 実装は seed と gjs がある。 JavaScript – GNOME Live! seed は WebKit の Javascript エンジン。 gjs は S […]
GtkSourceView Insert spaces instead of tabs
タブ幅とスペース切り替えで上手く行かなかった理由が解った。 indent-width を弄くっただけではなんか変な動作になるのね。 indent-width Property が -1 なら tab-width Prop […]