タグ

safariに関するsnaka72のブックマーク (5)

  • 【レビュー】ブラウザをキーボードで操作するgleeBoxエクステンション | エンタープライズ | マイコミジャーナル

    gleeBox is an experimental project that takes a keyboard-centric approach to navigating the web. GUIは最初の学習コストを下げることができるという効果があるが、それ以上の作業効率を実現しようとするとコマンドやショートカットの活用といったキーボードからの操作の方が効果的になってくる。ブラウザを使うシーンが増えている最近では、ブラウジング効率を向上させるひとつのポイントが、キーボードの活用ということになる。 万人向けの方法とはいえないが、現在よりもさらに高い作業効率を目指したいならキーボード系のエクステンションは検討に値する方法だ。ブラウザのキーボード操作を実現する方法はいくつもある。FirefoxであればUbiquityやVimperatorなどが代表的なもののひとつ。ここではこうしたエクステン

    snaka72
    snaka72 2010/10/01
    UIがちょっとイイ感じ、Vimpに取り入れたい。
  • Tool's 4 Hack  ☆iPhone Safari でダウンロードを実現"Safari DL Plug-In"

    【☆iPhone / iPod touch Safari でダウンロードを実現"Safari Download Plug-In"】 Safari単体でダウンロードをすることが出来るようになるプラグインのご紹介です。 これはiPhone / iPod touchのSafari単体でのダウンロードが出来るようになります。 もうそのまんまですね。 このアプリの良さはじわじわ分かってくるはずです! それでは・・・ ↓↓↓↓詳しくは続きからどうぞ。↓↓↓↓ 【インストール】 詳しいインストール方法は 【iPhone/iPod touch ”Cydia”の使い方!】 を参考にしてください。 Cydiaより通常通りインストールしてください。    【説明】 SafariでZipファイルや音楽ファイル、動画ファイルなんかにアクセスするとダウンロードするか、そのままプレイするかの画面になります。   そこ

  • Safari拡張の作り方 - os0x.blog

    Safari拡張をいくつか作って大体感覚は掴めたので、ざっくりと拡張の作成手順を解説してみます。 なお、Windows版で作業していますが、Macでもほとんど同じだと思います。 Safari拡張とは 最初に、Safari拡張とはなにか、について。Safari拡張はHTML/CSS/JavaScriptをベースに、ブラウザ側が用意したAPIを使ってブラウザを便利にするモジュールです。通常、JavaScriptだけではクロスドメインの問題など、実現できることに制限がありますが、その点を拡張用に用意されたAPIで補います。そのため、APIが用意されていない部分については対応できないという制限があります。しかし、開発のし易さ、ウェブとの親和性の高さからアイディア次第で便利で強力なツールとなるのがSafari拡張・Chrome拡張です。 なお、現状のAPIは暫定的なもので、ここで紹介するのもあくまで

    Safari拡張の作り方 - os0x.blog
  • Safari拡張のススメ vol.1 : Safari Realized

    2009年06月04日17:18 Posted intips Safari拡張のススメ vol.1 FirefoxやOperaには標準で拡張機能が付いており、先日バージョン2が正式リリースされたGoogle Choromeにおいても拡張機能が目玉の一つです。おっと、IEでもサポートされていますね。 さて、Safariについてはどうでしょうか? アップルのサイトを見ても拡張のかの字もありませんね。 ではSafariは予め用意された機能以外は使えないのでしょうか…? いえいえ、そんなの事はありません。Safariでもちゃんと拡張する方法はあります。 Cocoaアプリを拡張するInput Manager ざっくり説明するとCocoaアプリには"ポージング"と呼ばれる"機能を乗っ取る"仕組みが用意されており、これを利用することによりSafariをはじめとするCocoaアプリの機能を拡張することが出

    Safari拡張のススメ vol.1 : Safari Realized
  • CSSを編集するブックマークレット - 素人がプログラミングを勉強していたブログ

    SafariにはStylish相当のものがないので自分で書く。 リアルタイムに編集できるようにするとかなり動作が重くなるので、少し工夫してる。 javascript:(function () { var css_edit = document.getElementsByClassName('_css_edit'); if (css_edit.item(0)) { Array.prototype.slice.call(css_edit).forEach(function (elem) { elem.parentNode.removeChild(elem); }); return; } var t = document.createElement('textarea'); var s = document.createElement('style'); s.type = 'text/css';

    CSSを編集するブックマークレット - 素人がプログラミングを勉強していたブログ
  • 1