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

Bold font weight in FileZilla #142

Open
6 of 10 tasks
gregorydk opened this issue Jun 11, 2022 · 2 comments
Open
6 of 10 tasks

Bold font weight in FileZilla #142

gregorydk opened this issue Jun 11, 2022 · 2 comments
Labels
no fix found The issue may be unfixable

Comments

@gregorydk
Copy link

gregorydk commented Jun 11, 2022 •
edited

Describe the issue

In FileZilla, the font weight is bold. With Adwaita or in other apps the font weight is normal (e.g. Nautilus).

I don't know if this is by design.

Screenshot(s)

image

image

Versions

  • OS and version: Debian
  • GNOME Version: 42.2

Settings

  • I installed the theme from the tarball.
  • I installed the theme from git.
  • I installed the theme from AUR.
  • I installed the theme from elsewhere. (Where?)
  • The theme is the latest available version/git commit.
  • I've installed the light flatpak theme: org.gtk.Gtk3theme.adw-gtk3
  • I've installed the dark flatpak theme: org.gtk.Gtk3theme.adw-gtk3-dark
  • The file ~/.config/gtk-3.0/gtk.css does not exist or is empty.
  • Dark theme only: I've changed the theme to adw-gtk3-dark in gnome-tweaks AND set the appearance to dark in gnome-control-center.
  • Before opening this issue I logged out of GNOME and then logged back in again.
@lassekongo83
Copy link
Owner

lassekongo83 commented Jun 11, 2022 •
edited

Filezilla have a lot of custom widgets that can't be styled. It seems that it uses the font-weight from the buttons almost everywhere.

@gregorydk
Copy link
Author

@lassekongo83 That would explain it. Thanks for the clarification.

@lassekongo83 lassekongo83 added the no fix found The issue may be unfixable label Aug 29, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
no fix found The issue may be unfixable
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@lassekongo83 @gregorydk