HTML4ではimg要素で画像ファイル(pngやjpg)を埋め込むことができますが、これと同じように動画(movやmp4)をHTMLに埋め込めるようになります。 動画を表現する要素をHTMLが直接サポートすることで動画を調節するパラメータをHTML中に書いたりJavaScriptから操…

Dropbox上のテキストファイルをEmacsで直接編集してしまうと バックアップファイル(ファイル名の最後に~が付いたもの) 自動保存ファイル(ファイル名の前後に#が付いたもの) がDropboxに作られてしまうので、これを避ける設定を探してみました。Mac OS XのCar…