Now you can use our inner terminal to configure the edito. Customise your editor as you want it. You can use `!help` to get more information. <img width="1440" alt="Screenshot 2023-01-02 at 22 29 46" src="https://user-images.githubusercontent.com/77938581/210279190-a5336563-abc9-4248-9948-310869dd93ac.png"> <img width="1440" alt="Screenshot 2023-01-02 at 22 29 57" src="https://user-images.githubusercontent.com/77938581/210279206-3ea29287-9798-4e04-b66d-81d69651c69d.png">
Now you can use our inner terminal to configure the edito. Customise your editor as you want it. You can use
!helpto get more information.