「ウェブリブログ」は 2023年1月31日 をもちましてサービス提供を終了いたしました。 2004年3月のサービス開始より19年近くもの間、沢山の皆さまにご愛用いただきましたことを心よりお礼申し上げます。今後とも、BIGLOBEをご愛顧賜りますよう、よろしくお願い申し上げます。 ※引っ越し先ブログへのリダイレクトサービスは2024年1月31日で終了いたしました。 BIGLOBEのサービス一覧
「ウェブリブログ」は 2023年1月31日 をもちましてサービス提供を終了いたしました。 2004年3月のサービス開始より19年近くもの間、沢山の皆さまにご愛用いただきましたことを心よりお礼申し上げます。今後とも、BIGLOBEをご愛顧賜りますよう、よろしくお願い申し上げます。 ※引っ越し先ブログへのリダイレクトサービスは2024年1月31日で終了いたしました。 BIGLOBEのサービス一覧
gnomeの基本エディタ、gedit。Linux系OSではよく見られるエディタである。 基本はWindowsのメモ帳みたいなものだが、色付け表示や多くのエンコーディングへの対応など、その機能は比べ物にならない。 ※ということで、Linux上でviとかemacsは殆どお世話になってないわけですが…w 古いバージョンのgeditはGUIで細かい色設定が可能であったが、研究室のPCのUbuntuをアップグレード(7.10)してgeditが新しく(2.20.3)なると、GUIで設定出来るのはいくつかの色テーマ(color scheme)だけとなってしまい、細かい色設定が出来なくなった。 どうやら、自分でXMLファイルをいじる必要があるようだ。(参考) /usr/share/gtksourceview-2.0/styles/ に、デフォルトのテーマを示すXMLが存在するので、それを同じ場所なり、自分
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く