<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
  <head>
    <meta content="text/html; charset=UTF-8" http-equiv="Content-Type">
    <title></title>
  </head>
  <body bgcolor="#ffffff" text="#000000">
    <font face="Times New Roman, Times, serif">Ooh thanks!<br>
      <blockquote type="cite">It is the <font face="Times New Roman,
          Times, serif">OpenGL shading language version string: 1.30</font>
        that is of concern</blockquote>
      And I thought it was "core profile shading language version string
      = 3.3". I was wrong.<br>
      <br>
      <blockquote type="cite">GG wants to know if when you run the same
        way but click on the "Disable OpenGL masking" checkbox, does it
        work correctly then?</blockquote>
      Unfortunately it doesn't work.<br>
      I have done a quickly screencast where you can see with:<br>
      - X11 Video Driver (okay);<br>
      - OpenGL and Disable OpenGL checkbox= disable;<br>
      - OpenGL and Disable OpenGL checkbox= enable;<br>
      <a href="https://streamable.com/j9lqa">https://streamable.com/j9lqa</a><br>
      <br>
      Thanks.<br>
      IgorBeg<br>
      <br>
      <br>
      PS:<br>
      I love the Mask tool with the new Radio buttons and the numbers
      that change the color if there is an active mask. Now I don't have
      to guess or check all the masks if there are masks or less. Really
      useful. Thanks!</font><br>
  </body>
</html>