Home
MPS Support | JetBrains
Contact Support
Community
Sign in
Alexei
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)
Alexei
commented,
September 18, 2017 17:30
Is the suggestion above still valid? Can't access EditorSettings from style query. Does it require additional configuration?
Community
MPS
Defining header styles with font-size proportional to the font-size defined in the settings?
0 votes