mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
ide.service.view=true
This commit is contained in:
@@ -1877,7 +1877,7 @@ recent.locations.lines.before.and.after.description=Defines lines count that are
|
||||
uast.java.use.psi.type.precheck=true
|
||||
uast.java.use.psi.type.precheck.description=Enable Java Uast performance optimisation which will check in advance if PsiElement converting is possible
|
||||
|
||||
ide.service.view=false
|
||||
ide.service.view=true
|
||||
ide.service.view.description=Enable Services tool window
|
||||
ide.service.view.restartRequired=true
|
||||
|
||||
|
||||
Reference in New Issue
Block a user