public static @Nullable ConfigurationPane getJShellConfiguration(@NotNull FileEditor editor) {
      return editor.getUserData(EDITOR_TOOLBAR_KEY);
    }
public static @Nullable ConfigurationPane getJShellConfiguration(@NotNull FileEditor editor)