It's now looking as if the problems with the dash are a symptom of a crash rather than a cause. After rebooting and disabling all extensions I can restart gnome-shell with 'Alt F2 > r and enter' several times with a problem.
After starting some applications gnome-shell won't restart without crashing and sending me back to the log in screen.
Step 1 didn't lead to a new bug report being created.
Step 2 didn't show anything recent
Step 3 produced the following link:
Thanks for your reply Daniel.
It's now looking as if the problems with the dash are a symptom of a crash rather than a cause. After rebooting and disabling all extensions I can restart gnome-shell with 'Alt F2 > r and enter' several times with a problem.
After starting some applications gnome-shell won't restart without crashing and sending me back to the log in screen.
Step 1 didn't lead to a new bug report being created.
Step 2 didn't show anything recent
Step 3 produced the following link:
https:/ /errors. ubuntu. com/oops/ 1edb338e- d831-11e8- 923b-fa163e102d b1 but step 1 failed again.