дзеркало
https://github.com/l0ng-ai/openidea.git
синхронізовано 2026-11-08 19:02:17 +02:00
Since API 1.1 a plugin with `clipboard` can also copy from its commands (ui.copy-to-clipboard), not only use the clipboard from its web views.