Skip to content

Conversation

@NamanRai64
Copy link
Collaborator

… section

What does this PR do?

Related issue

Fixes #

Checklist

  • I tested my changes
  • I didn’t break existing functionality
  • I followed repo style

@NamanRai64 NamanRai64 requested a review from 7sg56 as a code owner January 28, 2026 16:53
@7sg56 7sg56 changed the title updated the ui of editor added new theme fixed the statusbar and tabs… [WIP] Editor UI Changes - Naman Jan 28, 2026
Copy link
Owner

@7sg56 7sg56 left a comment

Choose a reason for hiding this comment

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

Fine as of now

@7sg56 7sg56 merged commit 7baf6dc into main Jan 28, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants