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.

Sign up for GitHub

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

Jump to bottom

make the filter graph window menu option a toggle #319

Closed
xzcvczx opened this issue Apr 24, 2021 · 0 comments
Closed

make the filter graph window menu option a toggle #319

xzcvczx opened this issue Apr 24, 2021 · 0 comments
Milestone
v0.2

Comments

@xzcvczx
Copy link
Contributor

xzcvczx commented Apr 24, 2021

if the window manager doesn't provide decorations/close button there is no way to close the filter graph window, therefore the menu option should probably be a toggle like the history window tool bar icon
@azonenberg azonenberg added this to the v0.2 milestone May 1, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
v0.2
Development

No branches or pull requests
2 participants
@azonenberg @xzcvczx