mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
set false back. scrolling doesn't work
This commit is contained in:
@@ -116,6 +116,6 @@ caches.indexerThreadsCount=-1
|
||||
vcs.show.history.numbers=true
|
||||
navbar.updateMergeTime=250
|
||||
navbar.userActivityMergeTime=500
|
||||
navbar.newpopup=true
|
||||
navbar.newpopup=false
|
||||
|
||||
inspectionGadgets.telemetry.enabled=false
|
||||
|
||||
Reference in New Issue
Block a user