()
| 531 | }; |
| 532 | |
| 533 | let _syncFormatterStatusBarState = () => { |
| 534 | const enabled = !!formatOptions.STATUS_BAR_ALWAYS_SHOW; |
| 535 | const hasSelectedNode = !!document.querySelector('#jfContent .item.x-selected'); |
| 536 | $('body').toggleClass('hide-status-bar', !enabled && !hasSelectedNode); |
| 537 | if (typeof window.Formatter !== 'undefined' && window.Formatter.setStatusBarEnabled) { |
| 538 | window.Formatter.setStatusBarEnabled(enabled); |
| 539 | } |
| 540 | }; |
| 541 | |
| 542 | let _setExcludedOriginPromptTucked = tucked => { |
| 543 | let prompt = document.getElementById('fhJsonExcludedOriginPrompt'); |
no test coverage detected