More editor customisation

[starwiz-7]

Is your feature request related to a problem? Please describe.
Add a modal for settings, so that users can set the editor theme and change the font size of the editor

Describe the solution you'd like
Adding a button on the top navbar, when clicked will open a modal so that users can change editor settings from there.

[mayankbucha]

Hi @starwiz-7, I would like to work on this issue.

[starwiz-7]

Hi @mayankbucha , these issues are only open for students of IIIT Kottayam. If you are kindly comment your Details(Name, roll, email). Then I'll assign the issue to you :)

[mayankbucha]

Ohh... I am not from the institute.

[shashank1503-cipher]

I can take this issue up