Adam

I see that this issue is open since 2013 and it seems weird to me. Is there any update to it? Who is responsible for adding content? This question stems...

Hello! Is there any update on this? Also I would like to ask, when you say that a better option would be the creation of something new, does that mean...

Hey! What you say is completely understandable. From what I see most teams haven't really put a lot of work migrating to Wayland yet. I just wanted to see what...

Is there any update regarding this? Are there any plans for the future? This would be a huge improvement. At the moment, I work locally and sync with Overleaf through...

Thank you for your thorough answer! I was suggesting this mainly for the functionality (settings, extensions etc.) rather than the theme, but taking into account your explanation I understand why...

No objection to that. My main suggestion is to, at least, use the Monaco editor.