Home
MPS Support | JetBrains
Submit a request
Community
Sign in

Andreas Joanni
Follow New posts New posts and comments

Avatar
  • Total activity 7
  • Last activity December 18, 2020 10:30
  • Member since August 21, 2019 13:39
  • Following 0 users
  • Followed by 0 users
  • Votes 0
  • Subscriptions 3
Activity overview Posts (2) Comments (2)
Sort by recent activity Recent activity Votes
  • Created October 04, 2020 21:15
    Hello Sergej, Thank you very much for your support! Unfortunately, I did not find any examples nor documentation for EditorExtensionRegistry and where to initialize it, but I suspect it would also ...
    1. Community
    2. MPS
    3. Customize Ctrl+Click behavior for Go To Definition
    • 0 votes
  • Created December 05, 2019 11:37
    Hello Semen, we have another use case for this RELEASE (or similar) action, so this feature would indeed be very useful! Kind regards, Andreas
    1. Community
    2. MPS
    3. Highlight origin of reference on click
    • 0 votes
Copyright © 2000– JetBrains s.r.o.