Add hotkey (F12) for switching perspective.
Switching perspective feature hides/restores all panels except of the main editor window for current FB.
So all available screen space is used for editor.
from pyjs.jsonrpc import JSONRPCServiceBase
class JSONRPCService(JSONRPCServiceBase):
def serve(self):
return self.process(request.body.read())
def __call__(self,func):
self.methods[func.__name__]=func
return func