2010-03-01から1ヶ月間の記事一覧

Opera のタブ幅を変更する

スキンを変更すればタブ幅は変わる。当然スキンを編集すればタブ幅を変えれる。 多くのとこはこの方法を書かれてるが、実はツールバーの設定ファイル (toolbar.ini) で指定できる。 方法は、toolbar.ini をエディタで開いて以下を追記するだけ。 [Pagebar.st…

初めての Opera スキンカスタマイズ

準備 Reload Skin のボタン/ショートカットキーを作成 適用中のスキンをリアルタイムで確認できる。 タブバーの縦幅など、一部再起動を必要とする個所もある。 元となるスキンを準備 好きなスキンでいいんだけど、極力古いスキンは避けた方がいい。 初めて手…

opera:config を開いてクイック検索するアクション

opera:config を頻繁に開くひとはそういないと思うけど、もし居たらそれは恐らく特定の項目なんだろうと思う。 私は opera:config#UserPrefs|ButtonSet をよく開く。 もちろんこれをブックマークに入れとけばすぐ開けるんだけど、問題は保存を押さないと有効…