Skip to content

Conversation

@Wouter01
Copy link
Member

@Wouter01 Wouter01 commented Mar 23, 2023

Description

This PR fixes the inspector not toggling and adds a menu bar command to do this too. The menu bar command "Show Sidebar" has been renamed to "Show Navigator"

Related Issues

Discussed in Discord

Checklist

  • I read and understood the contributing guide as well as the code of conduct
  • The issues this PR addresses are related to each other
  • My changes generate no new warnings
  • My code builds and runs on my machine
  • My changes are all related to the related issue above
  • I documented my code

Screenshots

Signed-off-by: Wouter01 <wouterhennen@gmail.com>
Signed-off-by: Wouter01 <wouterhennen@gmail.com>
Signed-off-by: Wouter01 <wouterhennen@gmail.com>
@Wouter01 Wouter01 self-assigned this Mar 23, 2023
@Wouter01 Wouter01 added the bug Something isn't working label Mar 23, 2023
Signed-off-by: Wouter01 <wouterhennen@gmail.com>
@Wouter01 Wouter01 enabled auto-merge (squash) March 23, 2023 14:35
@Wouter01 Wouter01 merged commit f6d31c3 into CodeEditApp:main Mar 23, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug Something isn't working

Projects

Status: 🏁 Complete

Development

Successfully merging this pull request may close these issues.

3 participants