I'm developing an add-on using HTML5 panels, and I am seeing the dockable panel, but currently the only way I found I can refresh the panel is closing it and then going to "window > extensions > my extension" to load it back, and that's really not as quick as pushing a keyboard shortcut.
I didn't find a way I can assign a keyboard shortcut to the custom extension, and using the workspace keyboard shortcuts to switch between a workspace with this panel and without this panel has a visual bug in which the content of the panel isn't rendering.
Any idea how quick-refreshing of the panel's content can be achieved?