IDEs Support (IntelliJ Platform) | JetBrains

Tim1023

Total activity 4
Last activity April 05, 2022 10:29
Member since March 29, 2022 11:36
Following 0 users
Followed by 0 users
Votes 0
Subscriptions 1

Created April 05, 2022 10:29

Thank you Antonina! I've voted and added a comment, but with only five votes and no comments since 2018, I'd guess the dev team will be prioritising other stuff :(
- 0 votes
Created March 31, 2022 08:02

Just in case you wanted more details on my workaround to keep all that coloured and formatted goodness: - Install the NppExport plugin in Notepad++ - Change the Copy All Formats to Clipboard shortc...
- 0 votes