ガレコレ [Garage Collection]

2017年7月27日(木)
Mozilla Firefox #HTML5&CSS3&JavaScript

　HTML5 Editor for PCの動作確認のため、急遽、Mozilla Firefoxをインストール。前回のハードディスク・クラッシュ以降、利用していませんでした。

　Mozilla Japanにアクセスするも、「2017年7月より WebDINO Japan と名前を変え、新たなスタートを切りました。」とある。

　なんのこっちゃか分かりませんが、とりあえずMozilla Firefoxをダウンロード。

　今回、Microsoft EdgeとIE11は論外として排除して、Windows10+Google Chrome、Windows10+Mozilla Firefox、iPhone5c_iOS10+Safariで検証しました。

　[enter]改行の取り扱いが、異なってます。

-- 改行 --
・Google Chrome
・Safari
あい<div>うえお</div>

・Mozilla Firefox
あい うえお
　※個人的には、こちらが好きです。
--

-- 文字修飾 B I U S --
・Google Chrome
・Safari
太字・斜体・下線・取り消し線

・Mozilla Firefox
太字・斜体・下線・取り消し線
--

-- 文字色 --
・Google Chrome
・Safari
・Mozilla Firefox
赤色

※３つとも同じ。color:の後ろに半角スペースが入ります。
※初期値のblackで、タグが削除されます。
--

-- 文字色と背景の組み合わせ --
・Google Chrome
・Safari
赤色／オレンジ

・Mozilla Firefox
赤色／オレンジ
--

　Mozilla Firefoxの文字修飾は、入れ子で記述して、一つにまとめられないようです。

　文字サイズは、Mozilla Firefoxが残念で、レガシータグのを使ってしまいます。

-- 文字サイズ --
・Google Chrome
・Safari
大きい文字

・Mozilla Firefox
大きい文字
--

-- 上付き、下付き --
・Google Chrome
・Safari
　文字の大きさは同じです

・Mozilla Firefox
　文字が一段階小さくなります。
　※個人的には、こちらが好きです。
--

　Google Chromeは、全角文字が斜体にならないので、その点のみSafariに劣ります。]

　Firefoxでは、編集エリア内にカーソルが無い時に、[Back Space]キーで、「前のページに戻ります」が発動してしまいます。about:configで無効に設定できますね。だけど、「動作保証の対象外になります！」との警告なので、自分は設定をやめました。

　HTML5 Editor for PCは、主だったブラウザで利用できます。勝手に推奨ブラウザの順を付けさせて頂きました。OperaとかLunascapeとかは、各自でご確認よろしくお願いします。

-- 推奨ブラウザの順 --
Safari≒Google Chrome >Firefox >Microsoft Edge >>IE11
--

　つまり、Safari または Google Chromeをご利用下さいという結論に至りました。

P.S. [Back Space]で、前のページに戻る機能は、以前のGoogle Chromeにもありました。根強いファンにより、その機能を復活させる方法が紹介されていました。

　自分は、[Back Space]で前のページに戻るなんてとんでもない派なので、今のGoogle Chromeの設定に大満足です。
https://www.mozilla.jp/