Advertisement
Guest User

Untitled

a guest
May 26th, 2016
51
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 1.13 KB | None | 0 0
  1. diff --git a/public/js/actions/pause.js b/public/js/actions/pause.js
  2. index edb7e25..dbb8649 100644
  3. --- a/public/js/actions/pause.js
  4. +++ b/public/js/actions/pause.js
  5. @@ -20,7 +20,12 @@ function resumed() {
  6. */
  7. function paused(pauseInfo) {
  8. return ({ dispatch, getState, threadClient }) => {
  9. - dispatch(selectSource(pauseInfo.frame.location.sourceId));
  10. +
  11. + const location = pauseInfo.frame.location;
  12. + dispatch(selectSource(location.sourceId, {
  13. + line: location.line
  14. + }));
  15. +
  16. dispatch({
  17. type: constants.PAUSED,
  18. pauseInfo: pauseInfo
  19. diff --git a/public/js/components/Editor.js b/public/js/components/Editor.js
  20. index 8acfa98..24a306c 100644
  21. --- a/public/js/components/Editor.js
  22. +++ b/public/js/components/Editor.js
  23. @@ -114,9 +114,6 @@ const Editor = React.createClass({
  24. if (nextProps.selectedSourceOpts &&
  25. nextProps.selectedSourceOpts.get("line")) {
  26. this.setDebugLine(nextProps.selectedSourceOpts.get("line"));
  27. - } else if (nextProps.pause &&
  28. - !nextProps.pause.get("isInterrupted")) {
  29. - this.setDebugLine(nextProps.pause.getIn(["frame", "location", "line"]));
  30. }
  31. },
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement