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

Respect to custom items face instead of widget-button face #273

Merged
merged 3 commits into from
Dec 11, 2020
Merged

Respect to custom items face instead of widget-button face #273

merged 3 commits into from
Dec 11, 2020

Conversation

jcs090218
Copy link
Member

The discussion here, d792141.

widget-button face is widely use, I think we should create our own custom face to prevent tweaking widget-button face.

@jcs090218 jcs090218 self-assigned this Dec 11, 2020
@jcs090218
Copy link
Member Author

Thanks! ;)

@jcs090218 jcs090218 merged commit b9ad59d into master Dec 11, 2020
@jcs090218 jcs090218 deleted the btn branch December 11, 2020 11:47
@rudi
Copy link
Contributor

rudi commented Dec 11, 2020

Thank you very much!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@JesusMtnez JesusMtnez JesusMtnez approved these changes

Assignees

@jcs090218 jcs090218

Labels
enhancement
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
3 participants
@jcs090218 @rudi @JesusMtnez