/devtools/client/framework/
drwxr-xr-x [up]
drwxr-xr-x components
drwxr-xr-x connect
drwxr-xr-x test
-rw-r--r-- 2018-05-23 20:11 +0200 13370 ToolboxProcess.jsm
-rw-r--r-- 2018-05-23 20:11 +0200 4253 attach-thread.js
-rw-r--r-- 2018-05-23 20:11 +0200 7712 browser-menus.js
-rw-r--r-- 2018-05-23 20:11 +0200 25612 devtools-browser.js
-rw-r--r-- 2018-05-23 20:11 +0200 26345 devtools.js
-rw-r--r-- 2018-05-23 20:11 +0200 3718 gDevTools.jsm
-rw-r--r-- 2018-05-23 20:11 +0200 2786 menu-item.js
-rw-r--r-- 2018-05-23 20:11 +0200 5487 menu.js
-rw-r--r-- 2018-05-23 20:11 +0200 932 moz.build
-rw-r--r-- 2018-05-23 20:11 +0200 2499 options-panel.css
-rw-r--r-- 2018-05-23 20:11 +0200 7049 selection.js
-rw-r--r-- 2018-05-23 20:11 +0200 17578 sidebar.js
-rw-r--r-- 2018-05-23 20:11 +0200 12119 source-map-url-service.js
-rw-r--r-- 2018-05-23 20:11 +0200 4799 target-from-url.js
-rw-r--r-- 2018-05-23 20:11 +0200 26000 target.js
-rw-r--r-- 2018-05-23 20:11 +0200 11122 toolbox-highlighter-utils.js
-rw-r--r-- 2018-05-23 20:11 +0200 7258 toolbox-host-manager.js
-rw-r--r-- 2018-05-23 20:11 +0200 10030 toolbox-hosts.js
-rw-r--r-- 2018-05-23 20:11 +0200 3594 toolbox-init.js
-rw-r--r-- 2018-05-23 20:11 +0200 18955 toolbox-options.js
-rw-r--r-- 2018-05-23 20:11 +0200 8759 toolbox-options.xhtml
-rw-r--r-- 2018-05-23 20:11 +0200 9012 toolbox-process-window.js
-rw-r--r-- 2018-05-23 20:11 +0200 1907 toolbox-process-window.xul
-rw-r--r-- 2018-05-23 20:11 +0200 6370 toolbox-tabs-order-manager.js
-rw-r--r-- 2018-05-23 20:11 +0200 1772 toolbox-window.xul
-rw-r--r-- 2018-05-23 20:11 +0200 112648 toolbox.js
-rw-r--r-- 2018-05-23 20:11 +0200 3216 toolbox.xul