Skip to content

Conversation

@AltGr
Copy link
Collaborator

@AltGr AltGr commented Jul 30, 2021

Another proposition to fix for #400 and #202

@AltGr
Copy link
Collaborator Author

AltGr commented Jul 30, 2021

image

AltGr added 2 commits July 30, 2021 18:23
…evel_buttons"

This reverts commit 3972fe1, reversing
changes made to d5c078c.
* move buttons to the right so that they are less easy to misclick
* reverse order so that "eval phrase" is first
@erikmd erikmd added kind: enhancement Enhancement to an existing user-facing feature. part: CSS labels Sep 15, 2021
Copy link
Collaborator

@erikmd erikmd left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thanks @AltGr! this new placement look very fine to me…
(good idea BTW, to have first reverted the merge of PR #261)
If @yurug doesn't object, I propose we merge this very soon (today)

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

kind: enhancement Enhancement to an existing user-facing feature. part: CSS

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants