Had the same problem under Linux mint 20 cinnamon (uses Ubuntu repositories) my fix was to remove the repository version and install the .deb from GitHub. https://github.com/zyedidia/micro/releases
Had the same problem under Linux mint 20 cinnamon (uses Ubuntu repositories) my fix was to remove the repository version and install the .deb from GitHub. https:/ /github. com/zyedidia/ micro/releases