-
-
Notifications
You must be signed in to change notification settings - Fork 4.7k
Description
Describe the problem
Filing this after I struggled with it for a good few minutes until someone on the discord helped me.
As it stands right now, it isn't obvious how to edit the name of the REPL. The input field where the name is entered blends into the controls toolbar and the cursor for when it is hovered is the same as that for normal text. There isn't really anything to show that it is an input field rather than normal text.
Describe the proposed solution
Here's how I think it could be potentially fixed
-
Add a
underlineborder-bottom when it is hovered/focused. Although the border stretching all the way across might be ugly. Then again it is only seen when hovered so it might not be too bad.

-
Add an edit icon to suggest that the text is editable
-
Change the cursor to pointer?
Alternatives considered
Assume that I'm the only one who struggled with this and almost everyone else will figure it out pretty easily.
Importance
nice to have