@Override
        public void onClosed(@NotNull LightweightWindowEvent event) {
          dropHighlighters(highlighters);
        }
@Override
        public void onClosed(@NotNull LightweightWindowEvent event)