Ubuntu
gnome-text-editor package

  1. Bug #2058842
  2. Comment #3

Comment 3 for bug 2058842

Revision history for this message
Filippo Bistaffa (filippobistaffa) wrote :

Apparently, this is "expected behaviour" according to GNOME's devs (https://gitlab.gnome.org/GNOME/gnome-text-editor/-/issues/671), even though it doesn't make much sense to me.