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

Refresh playlist switcher preferences #87

Merged
merged 3 commits into from
Mar 7, 2018

Conversation

reupen
Copy link
Owner

@reupen reupen commented Mar 6, 2018

No description provided.

Existing advanced preferences items are moved under the new branch
Includes removing non-effective 'Show tooltips for clipped items' option and splitting the 'Delete playlist on middle-click' setting for playlist tabs and the playlist switcher.
@reupen reupen merged commit ce9e371 into master Mar 7, 2018
@reupen reupen deleted the refresh-playlist-switcher-prefs branch March 7, 2018 08:18
@ghost
Copy link

ghost commented Mar 7, 2018

Bit of a glitch where you enter the title formatting. I guess it needs shifting down a pixel or 2...

untitled

@reupen
Copy link
Owner Author

reupen commented Mar 8, 2018

Thanks. It might depend on your DPI settings; I'll check and fix it soon.

@reupen
Copy link
Owner Author

reupen commented Mar 8, 2018

Apparently it looks completely different at 125% and 100% DPI. I'll probably have to revert the font change as otherwise the rest of the dialog will scale differently to the CUI prefs.

@ghost
Copy link

ghost commented Mar 9, 2018

So you're the one using 125%? I thought your first post implied I was using different DPI settings but I'm always using default!

@reupen
Copy link
Owner Author

reupen commented Mar 9, 2018

Yes, I'm usually using 125%. It was meant to look more like this:

image

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.

None yet

1 participant