Home
IDEs Support (IntelliJ Platform) | JetBrains
Contact Support
Community
English (United States) 简体中文
Sign in

Michael Vlassiev

Avatar
  • Total activity 2
  • Last activity May 30, 2017 11:09
  • Member since May 30, 2017 11:09
  • Following 0 users
  • Followed by 0 users
  • Votes 0
  • Subscriptions 1
Activity overview Posts (0) Comments (1)
Sort by recent activity Recent activity Votes
  • Created May 30, 2017 11:09
    Hi Artur, This is already known bug: https://youtrack.jetbrains.com/issue/MPS-24905. I've increased priority for it, so hope it will be fixed in bugfix.  
    1. Community
    2. IntelliJ IDEA Open API and Plugin Development
    3. Plugin to check diff between two mps files
    • 0 votes
Copyright © 2000– JetBrains s.r.o.