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

EP refresh #2732

Merged
merged 1 commit into from
Sep 20, 2024
Merged

EP refresh #2732

merged 1 commit into from
Sep 20, 2024

Conversation

MyDrift-user
Copy link
Contributor

@MyDrift-user MyDrift-user commented Sep 13, 2024

Type of Change

  • New feature

Description

Instead of restarting explorer, we could "refresh" it. For example when changing settings in the settings app it does not restart the explorer process, but still works fine. I am trying to recreate that.

  • Added Explorer Refresh to Dark mode toggle
  • This method does not work for heavyer stuff like window snapping, but I am passively searching for an alternative that works for everything (or atleast more)

Testing

  • test worked fine

Additional Information

Checklist

  • My code adheres to the coding and style guidelines of the project.
  • I have performed a self-review of my own code.
  • I have commented my code, particularly in hard-to-understand areas.
  • I have made corresponding changes to the documentation.
  • My changes generate no errors/warnings/merge conflicts.

@MyDrift-user MyDrift-user changed the title add ep refresh for dark mode toggle EP refresh Sep 13, 2024
Copy link
Owner

@ChrisTitusTech ChrisTitusTech left a comment

Choose a reason for hiding this comment

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

Very interesting I've never seen this method of refreshing explorer instead of restarting. I can't wait to test this.

@ChrisTitusTech ChrisTitusTech added the enhancement New feature or request label Sep 15, 2024
@ChrisTitusTech ChrisTitusTech merged commit 1ee7274 into ChrisTitusTech:main Sep 20, 2024
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants