public boolean isToolEnabled(HighlightDisplayKey key, PsiElement element) {
   if (key == null) {
     return false;
   }
   final Tools toolState = getTools(key.toString());
   return toolState != null && toolState.isEnabled(element);
 }
 public boolean isToolEnabled(HighlightDisplayKey key) {
   final Tools toolState = getTools(key.toString());
   return toolState != null && toolState.isEnabled();
 }