Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
PR の目的
「割付」を「割当」に変更します。
意図的な使用なら取り下げます。
カテゴリ
PR の背景
ダイアログのほかの部分では「割り当て」と表記しているのに、変じゃないでしょうか?
検索したところ、キーに機能を割り当てる「割り付け」の使用例はありますが、
わたしはレイアウトに関しての用語だと感じます。
PR のメリット
一貫した用語の使用になります。
PR のデメリット (トレードオフとかあれば)
仕様・動作説明
「割付」を「割当」に、「割り付け」を「割り当て」に変更します。
変更履歴には手を入れません。
ExecMacro.htmlについては迷うところですが、変えておきます。
PR の影響範囲
文字数も同じで影響はないと思います。
テスト内容
ビルドしてテストしてみました。
テスト1
手順
関連 issue, PR
参考資料