コミュニティアイコン プチコン 非公式コミュニティ プレイ日記

アバター
あまさとしおん ◆mzDKTVUAtwqE
2023/1/1 14:49
あけましておめでとうございます。

#プチコン3号
【御子神ツインエディター】
ver.2301Aを公開しました。
sbkey=25NXS3CJ

変更点:
・新規ディレクトリ作成で、キャンセルするとエラーになる不具合の修正
・「キャンセルしますか?」という不親切な選択ダイアログの改善
・仮想ディレクトリの名前を全角16文字に制限するよう変更
・ヘルプに「サブフォルダ」という古い用語が残っていたのを修正

コメント

アバター
あまさとしおん 2023/1/1 14:50 ◆mzDKTVUAtwqE
なお、下の公開キーは辞書の追加単語集なので、自分で使ってる辞書を強化したいときに適当にインポートしてお使いください。
アバター
あまさとしおん 2023/1/1 14:53 ◆mzDKTVUAtwqE
ディレクトリ名の文字数制限は、単にUI上で表示が乱れることの対策です。
"Simple Archived Text library"の規格的には17文字以上でも特に差し支えはありません。
アバター
あまさとしおん 2023/1/1 14:53 ◆mzDKTVUAtwqE
(顔を切り替えるのを忘れて投稿しちゃったけど後から変更できないよね)
アバター
あまさとしおん 2023/1/1 14:56 ◆mzDKTVUAtwqE
不親切な選択ダイアログとは、具体的にはこれでした。
汎用的な文字入力DEFで個別にメッセージを設定できず、仕方なくこうなっていたところを
拡張して個別にメッセージを指定できるようにしました。
アバター
あまさとしおん 2023/1/1 15:00 ◆mzDKTVUAtwqE
改善後はこんな感じに。

コメントを書く

  • こちらは「プチコン3号」「プチコンBIG」など、プチコンシリーズに関する話題を扱ったコミュニティです
  • プチコンシリーズにまったく関係ない書き込みはご遠慮下さい。削除の対象となります
  • こちらにはその他のゲームや雑談のコミュニティはなく、作る予定もありません (ひとりで管理できないため)。ごめんなさい
  • ユーザー登録なしで書き込みができます
  • 秘密の合い言葉は成りすましの防止 (トリップ機能)、書き込みの編集時の本人認証に使用します
  • 秘密の合い言葉に他人に推測されやすい言葉、他サービスと同じパスワードは入力しないでください。
  • 書き込むと、投稿時に入力したお名前と秘密の暗号が記憶され、ログイン状態になります

- WEB PATIO -