Comment 4 for bug 1492397

Karl-Philipp,

We are sorry that we do not always have the capacity to review all reported bugs in a timely manner. You reported this bug some time ago and there have been many changes in Ubuntu since that time.

Ubuntu 15.04 (vivid) reached end-of-life on February 4, 2016. Do you still see a problem related to the one that you reported in a currently supported release of Ubuntu? For the record I can't confirm this issue using gedit 3.30 in Ubuntu 19.04 (dev).

Please let us know if you do otherwise this bug report will expire in approximately 60 days time.

Thank you for helping make Ubuntu better.

Paul White
[Ubuntu Bug Squad]