3 commits

Author	SHA1	Message	Date
Luca Greco	f30c630e4d	Bug 1340529 - Fix shown/hidden events for a devtools_panel toggled from toolbox preferences. r=kmag ... MozReview-Commit-ID: H81qwCEoaf9 --HG-- extra : rebase_source : 8376f43d40739be337f983c34a9527137fb1c1c5	2017-02-16 04:07:49 +01:00
Luca Greco	8a61d7124f	Bug 1300587 - Workaround issues with dock/undock devtools toolbox with a devtools_panel. r=kmag ... - this workaround is related to the same issue described in Bug 1075490 for the SDK "dev/panel" module. MozReview-Commit-ID: 5UYn1F88u1 --HG-- extra : rebase_source : 19fdf7902e64b294b515296ce9781db0f9810475	2016-10-07 12:37:53 +02:00
Luca Greco	aa57f6acbe	Bug 1300587 - Implements devtools_panel context and devtools.panel.create API method. r=kmag ... MozReview-Commit-ID: GVpwEkHqP3o --HG-- extra : rebase_source : 868884e4e6b5dab47ca00028f87d86f0471233d2	2017-02-09 18:23:18 +01:00