ide: interactive command lively.ide.openWorkspace takes options to set content etc
ide: interactive command lively.ide.openWorkspace takes options to set content etc

NikolaySuslov/LivelyKernel,LivelyKernel/LivelyKernel,NikolaySuslov/LivelyKernel,NikolaySuslov/LivelyKernel,LivelyKernel/LivelyKernel,LivelyKernel/LivelyKernel