Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Store additional metainformation for defineKeybinds #9427

Merged
merged 13 commits into from
Mar 15, 2024

Conversation

vitvakatu
Copy link
Contributor

@vitvakatu vitvakatu commented Mar 14, 2024

Pull Request Description

Closes #9411

Based on #9365

image

Important Notes

Checklist

Please ensure that the following checklist has been satisfied before submitting the PR:

  • The documentation has been updated, if necessary.
  • Screenshots/screencasts have been attached, if there are any visual changes. For interactive or animated visual changes, a screencast is preferred.
  • All code follows the
    Scala,
    Java,
    and
    Rust
    style guides. In case you are using a language not listed above, follow the Rust style guide.
  • All code has been tested:
    • Unit tests have been written where possible.
    • If GUI codebase was changed, the GUI was tested when built using ./run ide build.

@vitvakatu vitvakatu added the -gui label Mar 14, 2024
@vitvakatu vitvakatu self-assigned this Mar 14, 2024
Base automatically changed from wip/vitvakatu/code-editor-close to develop March 14, 2024 17:05
@@ -217,7 +217,7 @@
--side-panel-label-width: 8rem;
--side-panel-description-padding-y: 0.25rem;

--extended-editor-menu-size: 2.5rem;
--extended-editor-menu-size: 48px;
Copy link
Contributor

Choose a reason for hiding this comment

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

for reference, 1rem = 16px. but i suppose this is more robust as the menu will always be a fixed pixel size.

Copy link
Contributor Author

Choose a reason for hiding this comment

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

Yeah, I guess we want to use pixels here, as we know exact size of the button and exact pixel paddings around it.

Copy link
Contributor

@somebody1234 somebody1234 left a comment

Choose a reason for hiding this comment

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

approving (minimal) dashboard changes.

Copy link
Contributor

@farmaazon farmaazon left a comment

Choose a reason for hiding this comment

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

Please merge is ASAP, as it contains fix for important issue #9445

Comment on lines 28 to 30
// TODO[ao]: Skipping test, as they often fail in CI
// (for example https://github.com/enso-org/enso/actions/runs/8102076908/job/22163122663)
test.each`
Copy link
Contributor

Choose a reason for hiding this comment

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

Please remove the overlooked TODO.

@@ -52,44 +59,44 @@ const areas: Record<string, Rect> = {
// TODO[ao]: Skipping test, as they often fail in CI
// (for example https://github.com/enso-org/enso/actions/runs/8102076908/job/22163122663)
test.each`
Copy link
Contributor

Choose a reason for hiding this comment

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

And here

@@ -265,7 +299,7 @@ export const DefaultHandler = Symbol('default handler')
* @param bindings is an object defining actions and their key bindings. Each property name is an
* action name, and value is list of default key bindings. See "Keybinds should be parsed
* correctly" test for examples of valid strings.
* @returns an object with defined `handler` function.
* @returns an object with defined `handler` function and `bindings`, containing information about assigned bindings.
Copy link
Contributor

Choose a reason for hiding this comment

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

Over 100 characters. Alas, prettier does not handle docstrings

@farmaazon farmaazon added CI: Ready to merge This PR is eligible for automatic merge CI: No changelog needed Do not require a changelog entry for this PR. labels Mar 15, 2024
@mwu-tow mwu-tow merged commit c4cb7b9 into develop Mar 15, 2024
38 of 40 checks passed
@mwu-tow mwu-tow deleted the wip/vitvakatu/human-readable-keybinds branch March 15, 2024 14:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
-gui CI: No changelog needed Do not require a changelog entry for this PR. CI: Ready to merge This PR is eligible for automatic merge
Projects
None yet
Development

Successfully merging this pull request may close these issues.

Extend defineKeybinds API to provide shortcuts information for using in tests and displaying in UI
4 participants