added resizable panels using the w2ui library, fixed Enter key for sending proof commands