@Override
        public void onClosed(@NotNull LightweightWindowEvent event) {
          highlighter.getAndSet(null).dropHighlight();
        }
@Override
        public void onClosed(@NotNull LightweightWindowEvent event)