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

Added basic support for Gtk theme #2632

Merged
merged 15 commits into from May 16, 2022
Merged

Conversation

ice0
Copy link
Collaborator

@ice0 ice0 commented May 15, 2022

This is rebased PR #1508 and CMake improvements from #2624

P.S. I also excluded Widget_InterpolationEnum because I'm not sure if it's needed.

rodolforg and others added 15 commits May 15, 2022 11:06
And use Gtkmm methods rather GTK
these are now looked up by name
Almost all GTK methods using icons from the default GTK theme.
Unfortunately, we can't change the IconTheme name if we get it
from the default screen with the `Gtk::IconTheme::get_default()` method
 (https://docs.gtk.org/gtk3/method.IconTheme.set_custom_theme.html)

> Sets the name of the icon theme that the GtkIconTheme object uses
overriding system configuration. This function cannot be called on the
icon theme objects returned from gtk_icon_theme_get_default() and
gtk_icon_theme_get_for_screen().

Also, I didn't find a way to change the app IconTheme to a custom one.
However, we can change the IconTheme for the default screen using the
`Gtk::Settings` object.
@ice0 ice0 added the GUI label May 15, 2022
Copy link
Member

@morevnaproject morevnaproject left a comment

Choose a reason for hiding this comment

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

Cool!

@morevnaproject morevnaproject merged commit 865f197 into synfig:master May 16, 2022
@ice0 ice0 deleted the icon-theme branch May 16, 2022 04:36
morevnaproject added a commit to morevnaproject/morevna-builds that referenced this pull request May 17, 2022
morevnaproject added a commit to morevnaproject/morevna-builds that referenced this pull request May 17, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants