Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

「割付」を「割当」に変更 #1846

Merged
merged 1 commit into from May 30, 2022
Merged

Conversation

dep5
Copy link
Contributor

@dep5 dep5 commented May 28, 2022

PR の目的

「割付」を「割当」に変更します。
意図的な使用なら取り下げます。

カテゴリ

  • 機能追加
  • リファクタリング
  • ドキュメント修正

PR の背景

ダイアログのほかの部分では「割り当て」と表記しているのに、変じゃないでしょうか?
検索したところ、キーに機能を割り当てる「割り付け」の使用例はありますが、
わたしはレイアウトに関しての用語だと感じます。

PR のメリット

一貫した用語の使用になります。

PR のデメリット (トレードオフとかあれば)

仕様・動作説明

「割付」を「割当」に、「割り付け」を「割り当て」に変更します。
変更履歴には手を入れません。
ExecMacro.htmlについては迷うところですが、変えておきます。

PR の影響範囲

文字数も同じで影響はないと思います。

テスト内容

ビルドしてテストしてみました。

テスト1

手順

関連 issue, PR

参考資料

@sonarcloud
Copy link

sonarcloud bot commented May 28, 2022

Kudos, SonarCloud Quality Gate passed!    Quality Gate passed

Bug A 0 Bugs
Vulnerability A 0 Vulnerabilities
Security Hotspot A 0 Security Hotspots
Code Smell A 0 Code Smells

No Coverage information No Coverage information
0.0% 0.0% Duplication

@AppVeyorBot
Copy link

Build sakura 1.0.4133 completed (commit 7965222ecb by @dep5)

Copy link
Contributor

@beru beru left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

どっちか正解かという感覚がよりどちらの言葉を聞いたかの経験で変わってしまいそうな気がしますが、まぁ別に変更しても構わないと思います。

@dep5 dep5 marked this pull request as ready for review May 30, 2022 12:45
@dep5
Copy link
Contributor Author

dep5 commented May 30, 2022

beruさん
そうですね。「割付」にどうしても思い入れのある方がいたら変更はしないでおきます。

「キー割り当て」 「キーに割り当て・・・」 「機能に割り当て・・・」 「割付」
どっちかにそろえたほうがいいとは思います。

@beru
Copy link
Contributor

beru commented May 30, 2022

そうですね。「割付」にどうしても思い入れのある方がいたら変更はしないでおきます。

いやーいないと思いますが、そういう人がいたら自分でPRを作成してほしいですね。

@beru beru merged commit 0abeecd into sakura-editor:master May 30, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants