MDS/openide
1
0
Fork 0
mirror of https://gitflic.ru/project/openide/openide.git synced 2026-01-08 15:09:39 +07:00
Code Issues Packages Projects Releases Wiki Activity

IDEA-298006 Tool windows: new buttons on the sidebar are harder to distinguish (short names)

Browse Source 
GitOrigin-RevId: cbd55c38255834a84e738c31b6f5802323fda557
This commit is contained in:
Alexander Lobas
2024-01-29 22:11:50 +01:00
committed by intellij-monorepo-bot
parent e52b7c2e97
commit 8642bb61b1
7 changed files with 25 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
plugins/github/resources/messages/GithubBundle.properties
View File

@@ -164,6 +164,7 @@ pull.request.notification.title=GitHub integration
# TW content
toolwindow.stripe.Pull_Requests=Pull Requests
toolwindow.stripe.Pull_Requests.shortName=PR
pull.request.view.list=View Pull Requests
pull.request.change.remote.or.account=Change Repository or Account\u2026
pull.request.list.no.matches=No pull requests matching filters.