mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-04-22 06:21:25 +07:00
IJPL-149326 Add toolkit name to About info
GitOrigin-RevId: 7f9240d59a0a40638534c60d8b7ece9e3beb60ae
This commit is contained in:
committed by
intellij-monorepo-bot
parent
81d40770a5
commit
8d811792ce
@@ -282,6 +282,8 @@ public final class AboutDialog extends DialogWrapper {
|
||||
|
||||
myInfo.forEach(s -> text.append(s).append('\n'));
|
||||
|
||||
text.append("Toolkit: ").append(Toolkit.getDefaultToolkit().getClass().getName()).append("\n");
|
||||
|
||||
text.append(SystemInfo.getOsNameAndVersion()).append('\n');
|
||||
|
||||
for (var aboutInfoProvider : EP_NAME.getExtensionList()) {
|
||||
|
||||
Reference in New Issue
Block a user