In particular, the very nice join lines for gedit.
I have a suspicion that it all started when I installed Python3.7 and switched to it by default.
Somehow, other things stopped working also, like Rabbit VCS.
Is there a kind of a Python version clash or something? I can't find anything related.
I am on Ubuntu 18.04 LTS.
Output of ls -l /usr/bin/python*:
lrwxrwxrwx 1 root root 24 Jul 2 11:36 /usr/bin/python -> /etc/alternatives/python
lrwxrwxrwx 1 root root 9 Apr 16 2018 /usr/bin/python2 -> python2.7
-rwxr-xr-x 1 root root 3637096 Apr 15 20:20 /usr/bin/python2.7
lrwxrwxrwx 1 root root 33 Apr 15 20:20 /usr/bin/python2.7-config -> x86_64-linux-gnu-python2.7-config
lrwxrwxrwx 1 root root 16 Apr 16 2018 /usr/bin/python2-config -> python2.7-config
lrwxrwxrwx 1 root root 9 Oct 25 2018 /usr/bin/python3 -> python3.6
-rwxr-xr-x 2 root root 4526456 Apr 18 04:56 /usr/bin/python3.6
lrwxrwxrwx 1 root root 33 Apr 18 04:56 /usr/bin/python3.6-config -> x86_64-linux-gnu-python3.6-config
-rwxr-xr-x 2 root root 4526456 Apr 18 04:56 /usr/bin/python3.6m
lrwxrwxrwx 1 root root 34 Apr 18 04:56 /usr/bin/python3.6m-config -> x86_64-linux-gnu-python3.6m-config
-rwxr-xr-x 2 root root 4873376 Nov 7 2019 /usr/bin/python3.7
-rwxr-xr-x 2 root root 4873376 Nov 7 2019 /usr/bin/python3.7m
lrwxrwxrwx 1 root root 16 Oct 25 2018 /usr/bin/python3-config -> python3.6-config
lrwxrwxrwx 1 root root 10 Oct 25 2018 /usr/bin/python3m -> python3.6m
lrwxrwxrwx 1 root root 17 Oct 25 2018 /usr/bin/python3m-config -> python3.6m-config
lrwxrwxrwx 1 root root 16 Apr 16 2018 /usr/bin/python-config -> python2.7-config