menu option for inspecting lively.Config
menu option for inspecting lively.Config

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