SymbolsPanel 0.9f was released

I had felt that "I want to delete a character press the wrong symbol, but that operations is troublesome." Then, since v0.9d, the deleting feature by flicking "Apply/Copy" key to left was added. But it is not intuitive. Placing a delete button would be better? But, considering a mistake, there is no place to put it...
As a compromise, "Delete by BACK key" feature was implemented. This feature also prevents to quit app by accidentally press BACK key.

Another new feature is "Shrink-On-Edge." This is able to display the original input area hidden by SymbolsPanel, and check the entered text.
But, this may not be practical because the shrunken panel may be too small depending on the screen resolution (in particular, if the software keyboard is displayed.) In that case, after checking the text, you can restore the panel size (by tap the outside of the frame), then enter symbols.

In this version, the greek letters are added into the default settings of buttons.
In a policy of SymbolsPanel, the usual letters of each country would not implemented. But, the greek letters are used as mathematical/technical symbols. Also it was requested. So I decided to adopt it.
For users who wanted to apply the default settings manually, the default settings of SymbolsPanel 0.9f is at same place as before (See this article for how to apply manually.)

記号パネル v0.9f公開

記号キーを押し間違えて一文字削除したい、というときの操作が面倒だ、とは（私自身は）思っていて、それでバージョン0.9dでは「確定・コピー」ボタンの左フリックで一文字削除できるようにしました。が、やはり直感的でないので削除ボタンをつけようか、いや押し間違いを考慮すると配置する場所がない…などと悩みつつ、また一つの妥協案として「戻るキーでの削除」を実装しました。うっかり「戻る」キーを押してしまって入力途中なのにアプリを終了してしまった、というミスに対応するという側面もあります。

もうひとつの「パネルを端に寄せる」機能ですが、パネルで隠れてしまっている元の入力エリアを表示させて入力途中のテキストを確認する、といった用途を想定しています。画面解像度によってはパネルが小さくなりすぎて（特にソフトウェアキーボードを表示させている場合）実用的でないかもしれません。その場合は、元のテキストを確認したら元に戻してから記号を入力、という使い方で回避をお願いします。

今回はキー設定の初期設定としてギリシャ文字を追加しました。このアプリの方針として、各国語で標準的に使用される文字（アルファベット・かな・ハングルなど）は避けてきたのですが、ギリシャ文字は数学・技術方面で記号として使うこともあり、また要望も頂きましたので今回追加しました。
なお、キリル文字については今回見送りました。JISにも規定されていてかなり古いPCでも扱えた文字ではありますが、用途が限られていますし、また設定データの肥大化に抵抗を感じるので、今のところ採用していません。
また、今まで各キーの説明文の先頭につけていた「**」などの符号を取り除きました。これらはShiftJISという文字コードでの扱いを基準にして付加していたのですが、今日ではAndroidと同様にUNICODEを扱える機器が増え、そのため各機器で使用しているフォントのほうが問題になるケースが多い、と判断し、かえって誤解を招きかねないとも思い取り除くことにしました。
手作業でキー設定を更新したい人のために、前回と同じところに設定データをアップしています。ご希望の方はご利用ください（更新方法については過去の記事をご覧ください）。