You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Fixed #1706: Gutter icons for file navigation changed to 12x12.#1715
Merged
PHPirates merged 2 commits intomasterHannah-Sten/TeXiFy-IDEA:masterfrom 1706-gutter-12x12Hannah-Sten/TeXiFy-IDEA:1706-gutter-12x12Copy head branch name to clipboardJan 5, 2021