Jorik Schellekens b1f8fe40d6 Merge pull request #5036 from swapnilraj/swapnilraj/right-panel-ts ... Convert right_panel to TS		2020-07-30 13:37:01 +01:00
..
controllers	…
handlers	…
watchers	…
Settings.js	…
SettingsStore.js	…
WatchManager.js	…