
<html>

  <head>


    <meta http-equiv="content-type" content="text/html; charset=UTF-8">

  </head>

  <body text="#000000" bgcolor="#FFFFFF">

    <pre class="message">gedit version 3.4.2 is outdated.</pre>

    <p>I use gedit version 3.22.0 on Debian 9.5 "Stretch" and current

      tab highlighting is implemented.</p>

  </body>

</html>