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

Menu bar duplicates upon in-browser usage #562

Closed
abrudz opened this issue Dec 4, 2019 · 0 comments · Fixed by #692
Closed

Menu bar duplicates upon in-browser usage #562

abrudz opened this issue Dec 4, 2019 · 0 comments · Fixed by #692
Labels

Comments

@abrudz
Copy link
Member

abrudz commented Dec 4, 2019

Describe the issue you are having

When running in-browser, some items in the menu bar cause the menu bar to become duplicated.

Did you connect to an already running interpreter or start the interpreter from RIDE?

Connect to already running

How do you reproduce the issue?

View > Show Workspace Explorer
image

Paste the contents of Help → About (Shift+F1)

IDE:
  Version: 4.2.3437
  Platform: Win32
  Date: 2019-08-13 14:55:17 +0200
  Git commit: 691f47856e05a36f70847313b23e061a0cf95392
  Preferences:{
    "wse":"1",
    "kbdLocale":"en_GB",
    "breakPts":"0",
    "colourScheme":"Francisco Goya"
  }

Interpreter:
  Version: 17.1.36845
  Platform: Linux-64
  Edition: Unicode/64
  Date: Aug 15 2019 at 00:13:45
@abrudz abrudz added the bug label Dec 15, 2020
@e9gille e9gille linked a pull request May 1, 2021 that will close this issue
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging a pull request may close this issue.

1 participant