Dash-to-panel: Can't update to v38

[wb9688]

Describe the bug

When trying to update to v38 (from v37), installation failed with the following error:

TypeError: taskbarLocationCombo is null

Stack trace:
  _updateVerticalRelatedOptions@/home/woutjuh/.local/share/gnome-shell/extensions/[email protected]/prefs.js:207:9
  wrapper@resource:///org/gnome/gjs/modules/script/_legacy.js:82:27
  _bindSettings@/home/woutjuh/.local/share/gnome-shell/extensions/[email protected]/prefs.js:256:14
  wrapper@resource:///org/gnome/gjs/modules/script/_legacy.js:82:27
  _init@/home/woutjuh/.local/share/gnome-shell/extensions/[email protected]/prefs.js:188:14
  wrapper@resource:///org/gnome/gjs/modules/script/_legacy.js:82:27
  _Base.prototype._construct@resource:///org/gnome/gjs/modules/script/_legacy.js:18:10
  newClass@resource:///org/gnome/gjs/modules/script/_legacy.js:114:21
  buildPrefsWidget@/home/woutjuh/.local/share/gnome-shell/extensions/[email protected]/prefs.js:2048:20
  _init@resource:///org/gnome/Shell/Extensions/js/extensionsService.js:207:40
  OpenExtensionPrefsAsync/<@resource:///org/gnome/Shell/Extensions/js/extensionsService.js:122:28
  asyncCallback@resource:///org/gnome/gjs/modules/core/overrides/Gio.js:132:13
  run@resource:///org/gnome/Shell/Extensions/js/dbusService.js:175:20
  main@resource:///org/gnome/Shell/Extensions/js/main.js:19:13
  run@resource:///org/gnome/gjs/modules/script/package.js:222:19
  start@resource:///org/gnome/gjs/modules/script/package.js:206:5
  @/usr/share/gnome-shell/org.gnome.Shell.Extensions:1:17

After logging out and back in, I was successfully able to install it, but some of my preferences are lost.

Linux distribution and version
Debian Unstable

GNOME Shell version
3.36.3-1

Where was Dash-to-Panel installed from?
extensions.gnome.org

[charlesg99]

Hello, please restart gnome-shell.

[derixithy]

It would be handy to give the command to restart gnome shell.

killall -SIGQUIT gnome-shell

did the trick for me,