Add method to select a specific source or location without attempting to detect pretty print (#5767)

Author: darkwing

src/actions/sources/select.js

@@ -139,6 +139,60 @@ export function selectLocation(location: Location) {
   };
 }
 
+/**
+ * @memberof actions/sources
+ * @static
+ */
+export function selectSpecificLocation(location: Location) {
+  return async ({ dispatch, getState, client }: ThunkArgs) => {
+    if (!client) {
+      // No connection, do nothing. This happens when the debugger is
+      // shut down too fast and it tries to display a default source.
+      return;
+    }
+
+    const source = getSource(getState(), location.sourceId);
+    if (!source) {
+      // If there is no source we deselect the current selected source
+      return dispatch({ type: "CLEAR_SELECTED_SOURCE" });
+    }
+
+    const activeSearch = getActiveSearch(getState());
+    if (activeSearch !== "file") {
+      dispatch(closeActiveSearch());
+    }
+
+    dispatch(addTab(source.toJS(), 0));
+
+    dispatch({
+      type: "SELECT_SOURCE",
+      source: source.toJS(),
+      location
+    });
+
+    await dispatch(loadSourceText(source));
+    const selectedSource = getSelectedSource(getState());
+    if (!selectedSource) {
+      return;
+    }
+
+    const sourceId = selectedSource.get("id");
+    dispatch(setSymbols(sourceId));
+    dispatch(setOutOfScopeLocations());
+  };
+}
+
+/**
+ * @memberof actions/sources
+ * @static
+ */
+export function selectSpecificSource(sourceId: string) {
+  return async ({ dispatch }: ThunkArgs) => {
+    const location = createLocation({ sourceId });
+    return await dispatch(selectSpecificLocation(location));
+  };
+}
+
 /**
  * @memberof actions/sources
  * @static

src/components/Editor/Tab.js

@@ -40,7 +40,7 @@ type SourcesList = List<SourceRecord>;
 
 type Props = {
   tabSources: SourcesList,
-  selectSource: Object => void,
+  selectSpecificSource: Object => void,
   selectedSource: SourceRecord,
   closeTab: string => void,
   closeTabs: (List<string>) => void,
@@ -150,7 +150,7 @@ class Tab extends PureComponent<Props> {
   render() {
     const {
       selectedSource,
-      selectSource,
+      selectSpecificSource,
       closeTab,
       source,
       sourceMetaData
@@ -179,7 +179,7 @@ class Tab extends PureComponent<Props> {
         return closeTab(source.url);
       }
 
-      return selectSource(sourceId);
+      return selectSpecificSource(sourceId);
     }
 
     const className = classnames("source-tab", {

src/components/Editor/Tabs.js

@@ -31,7 +31,7 @@ type SourcesList = List<SourceRecord>;
 type Props = {
   tabSources: SourcesList,
   selectedSource: SourceRecord,
-  selectSource: Object => void,
+  selectSpecificSource: Object => void,
   moveTab: (string, number) => void,
   closeTab: string => void,
   togglePaneCollapse: () => void,
@@ -121,7 +121,7 @@ class Tabs extends PureComponent<Props, State> {
   }
 
   renderDropdownSource = (source: SourceRecord) => {
-    const { selectSource } = this.props;
+    const { selectSpecificSource } = this.props;
     const filename = getFilename(source.toJS());
 
     const onClick = () => selectSpecificSource(source.id);