Skip to content

Check if libgtk-x11 is installed before using GTK LaF #8122

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
Closed
wants to merge 1 commit into from
Closed

Check if libgtk-x11 is installed before using GTK LaF #8122

wants to merge 1 commit into from

Conversation

facchinm
Copy link
Member

Fixes #8119

@facchinm facchinm requested a review from cmaglie October 22, 2018 10:40
@ArduinoBot
Copy link
Contributor

✅ Build completed.

Please test this code using one of the following:

⬇️ http://downloads.arduino.cc/javaide/pull_requests/arduino-PR-8122-BUILD-793-linux32.tar.xz
⬇️ http://downloads.arduino.cc/javaide/pull_requests/arduino-PR-8122-BUILD-793-linux64.tar.xz
⬇️ http://downloads.arduino.cc/javaide/pull_requests/arduino-PR-8122-BUILD-793-windows.zip
⬇️ http://downloads.arduino.cc/javaide/pull_requests/arduino-PR-8122-BUILD-793-macosx.zip
⬇️ http://downloads.arduino.cc/javaide/pull_requests/arduino-PR-8122-BUILD-793-linuxarm.tar.xz

ℹ️ The linuxarm build is still experimental and may not be always available.

@arduino arduino deleted a comment from ArduinoBot Oct 22, 2018
@arduino arduino deleted a comment from ArduinoBot Oct 23, 2018
@arduino arduino deleted a comment from ArduinoBot Oct 23, 2018
cmaglie added a commit to cmaglie/Arduino that referenced this pull request Oct 24, 2018
@cmaglie
Fix LookAndFeel loader
d937fe9 
Fix arduino#8119
Close arduino#8122
@cmaglie cmaglie mentioned this pull request Oct 24, 2018
Merged
@cmaglie cmaglie closed this in 0458770 Nov 5, 2018
@cmaglie cmaglie deleted the java_laf_fallback_ubuntu_1810 branch November 5, 2018 10:49
@per1234 per1234 added Type: Bug OS: Linux Specific to the Linux version of the Arduino IDE Type: Duplicate Another item already exists for this topic labels Sep 3, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@cmaglie cmaglie Awaiting requested review from cmaglie

Assignees
No one assigned
Labels
OS: Linux Specific to the Linux version of the Arduino IDE Type: Bug Type: Duplicate Another item already exists for this topic
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

IDE does not launch Ubuntu 18.10
3 participants
@facchinm @ArduinoBot @per1234