using new lively.ide.browse options in frontend
using new lively.ide.browse options in frontend

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