Galaxy: Tool panel cannot be hidden?

Created on 7 Oct 2019  Â·  6Comments  Â·  Source: galaxyproject/galaxy

Teaching a training today we noticed that the tool panel seems to be lacking controls for resizing or hiding?

We often hid this to show e.g. fastqc reports. We either would hide both panels, or just the tool panel. Hiding the history panel alone was uninteresting, as then we lost the context of "which report we're looking at" that was being communicated to the students. Hiding the tool panel was appealing because it was a lot of visual noise unrelated to what we wanted to communicate?

Was this done intentionally? Is there some reason we should not be able to hide that?

areUI-UX kinbug

Most helpful comment

This seems firefox-specific. The controls work fine for me (chrome) on Main, Test, and dev. cc @inkuzmin

edit: actually firefox on dev works fine too, missing on Main and Test

On Ubuntu 18.04:

  • Chrome 77.0.3865.90: both usegalaxy.eu and dev work
  • Firefox 69.0.1: both usegalaxy.eu and dev do NOT work.

All 6 comments

I don't think this was intentional.

Oh yay :) I was worried for a minute

Op ma 7 okt. 2019 13:38 schreef Dannon notifications@github.com:

I don't think this was intentional.

—
You are receiving this because you authored the thread.
Reply to this email directly, view it on GitHub
https://github.com/galaxyproject/galaxy/issues/8761?email_source=notifications&email_token=AADP7O22VLOQWYSAF642JPDQNMNUBA5CNFSM4I6C7DC2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOEAP7YJQ#issuecomment-538967078,
or mute the thread
https://github.com/notifications/unsubscribe-auth/AADP7O5WGY75L4OXVAOPQFLQNMNUBANCNFSM4I6C7DCQ
.

This seems firefox-specific. The controls work fine for me (chrome) on Main, Test, and dev. cc @inkuzmin

edit: actually firefox on dev works fine too, missing on Main and Test

This seems firefox-specific. The controls work fine for me (chrome) on Main, Test, and dev. cc @inkuzmin

edit: actually firefox on dev works fine too, missing on Main and Test

On Ubuntu 18.04:

  • Chrome 77.0.3865.90: both usegalaxy.eu and dev work
  • Firefox 69.0.1: both usegalaxy.eu and dev do NOT work.

Thanks so much y'all!

Thank you for the quick fix!

Was this page helpful?
0 / 5 - 0 ratings