mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
js unused global symbols inspection, cache result
for now, in experimental mode WEB-16757 "Unused global symbol" inspection causes high CPU usage
This commit is contained in:
@@ -1497,4 +1497,7 @@ action.aware.typeAhead.searchEverywhere=false
|
||||
show.new.plugin.page=false
|
||||
show.new.plugin.page.description=Show new plugin page configurable
|
||||
skip.typed.event=true
|
||||
skip.typed.event.description=Skip typed event if focus goes to owner
|
||||
skip.typed.event.description=Skip typed event if focus goes to owner
|
||||
|
||||
javascript.global.symbol.unused.cache=false
|
||||
javascript.global.symbol.unused.cache.description=Try new caching for JavaScript unused global symbol inspection
|
||||
Reference in New Issue
Block a user