I reported this upstream as bug DSK-332091 (also pointing to this
report). Unfortunately there doesn't seem to be a public bug tracker,
nor am I supposed to get any feedback unless Opera devs need more
information. My current "solution" is to disable launcher hiding,
because the bug is way too easy to trigger.

-- 
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/741731

Title:
  Launcher unhides and stays unhidden when dragging elements in Opera

-- 
ubuntu-bugs mailing list
ubuntu-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs

Reply via email to