ide: edit text prompt now uses codeditor as text edit widget
ide: edit text prompt now uses codeditor as text edit widget

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