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

Strange UI appearance on Ubuntu 19.10 #12

Closed
msekmfb opened this issue May 13, 2020 · 4 comments
Closed

Strange UI appearance on Ubuntu 19.10 #12

msekmfb opened this issue May 13, 2020 · 4 comments
Assignees
@krlvm
Labels
bug Something isn't working
Projects
PowerTunnel Board

Comments

@msekmfb
Copy link

msekmfb commented May 13, 2020

I've been using PowerTunnel for four months on Ubuntu 19.10 and just noticed strange colors in UI after after long non-use:
screen-130520
@krlvm
Copy link
Owner

krlvm commented May 13, 2020

There's an issue with GNOME Desktop Environment.
What version of JRE you're running?

@krlvm krlvm added the bug Something isn't working label May 13, 2020
@krlvm krlvm self-assigned this May 13, 2020
@krlvm krlvm added this to In progress in PowerTunnel Board May 13, 2020
@msekmfb
Copy link
Author

msekmfb commented May 13, 2020

I updated from version 8 to 11 yesterday.
I've noticed an another UI issue - app bar name is invalid
screen-130520-2

@krlvm
Copy link
Owner

krlvm commented May 13, 2020

I confirm the wrong UI look on JRE11, it's GNOME-specific issue. The problem is this components are, actually, locked JEditorPane, because a regular JLabel doesn't support hyperlinks.

The app bar issue is also GNOME-specific. I have a solution and will push it in the next version.

@krlvm krlvm changed the title Strange UI appearance on Ubuntu 19.10 Numerous UI bugs in GNOME May 13, 2020
@krlvm krlvm mentioned this issue May 13, 2020
Closed
@krlvm
Copy link
Owner

krlvm commented May 13, 2020

I updated from version 8 to 11 yesterday.
I've noticed an another UI issue - app bar name is invalid
screen-130520-2

I highlighted this as a new issue

@krlvm krlvm changed the title Numerous UI bugs in GNOME Strange UI appearance on Ubuntu 19.10 May 13, 2020
krlvm added a commit that referenced this issue May 13, 2020
@krlvm
Fix GTK appearance issues (#12)
74d4057
@krlvm krlvm closed this as completed May 13, 2020
@krlvm krlvm moved this from In progress to Done in PowerTunnel Board May 13, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@krlvm krlvm

Labels
bug Something isn't working
Projects
PowerTunnel Board
  
Done
Milestone
No milestone
Development

No branches or pull requests
2 participants
@krlvm @msekmfb