Ubuntu
gnome-shell-extension-dashtodock package

  1. Bug #1819086
  2. Comment #10

Comment 10 for bug 1819086

Revision history for this message
Stephen Waines (stevinski) wrote : Re: [Bug 1819086] Re: Ubuntu 19.04: Dash-to Dock extension no longer working

Hi Daniel,

thanks for the info

-Have a great day.

-Steve

On 2019-03-10 10:22 p.m., Daniel van Vugt wrote:
> OK, I have generalized this bug to cover any and all extensions (which
> exist in the Ubuntu archive) that might have stopped working in gnome-
> shell 3.31/3.32.
>
> ** Changed in: gnome-shell-extension-dashtodock (Ubuntu)
> Status: Incomplete => Confirmed
>
> ** Summary changed:
>
> - Ubuntu 19.04: Dash-to Dock extension no longer working
> + Ubuntu 19.04: Some gnome-shell extensions no longer work since updating to gnome-shell 3.31/3.32
>