How to use the replace function from history

home.js

GitHub: matthewmueller/coderunner

122
123
124
125
126
127
128
129
130
131
editor.script(script);

// Save the script
script.save(function(err) {
  if (err) throw err;
  history.replace(script.url(1, 'edit'));

  // Connect to IO server
  var slug = script.slug(1);
  io.connect(origin + '/' + slug);

24

326

18

+ 13 other calls in file

%E5%AE%9E%E7%8E%B0%E4%B8%80%E4%B8%AA%E5%8D%95%E9%A1%B5%E8%B7%AF%E7%94%B1.md?plain=1

GitHub: xzlgh/notebook

382
383
384
385
386
387
388
389
390
391
var href = location ? history.createHref(location) : "";
var props = {
  href: href,
  navigate: function navigate() {
    var location = resolveToLocation(to, context.location);
    var method = history.replace
    method(location);
  }
}
return React.createElement(_ref2$component, props);

0

6

0

+ 7 other calls in file

index.js

GitHub: Archive-42/Curiosity

191
192
193
194
195
196
197
198
199
200
201
 * @param {Object} state (optional)
 * @return {Router}
 */


Router.prototype.replace = function (path, state) {
  history.replace(path, state);
  pop = false;
  return this;
};

0

2

1