Home
MPS Support | JetBrains
Contact Support
Community
Sign in

Alexei

Avatar
  • Total activity 2
  • Last activity September 18, 2017 17:30
  • Member since September 18, 2017 17:30
  • 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 September 18, 2017 17:30
    Is the suggestion above still valid? Can't access EditorSettings from style query. Does it require additional configuration?
    1. Community
    2. MPS
    3. Defining header styles with font-size proportional to the font-size defined in the settings?
    • 0 votes
Copyright © 2000– JetBrains s.r.o.