Method keyReleased

app/src/processing/app/ui/EditorStatus.java:187–193

(KeyEvent e)

      }

      @Override
      public void keyReleased(KeyEvent e) {
        if (shiftDown != e.isShiftDown()) {
          shiftDown = e.isShiftDown();
          repaint();
        }
      }
    });
  }