diff options
Diffstat (limited to 'common/content/marks.js')
-rw-r--r-- | common/content/marks.js | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/common/content/marks.js b/common/content/marks.js index 99d42b8c..e6bbb9b4 100644 --- a/common/content/marks.js +++ b/common/content/marks.js @@ -44,6 +44,10 @@ var Marks = Module("marks", { params.offset = buffer.scrollPosition; params.path = util.generateXPath(buffer.findScrollable(0, params.offset.x)); params.timestamp = Date.now() * 1000; + params.equals = function (m) this.location == m.location + && this.offset.x == m.offset.x + && this.offset.y == m.offset.y + && this.path == m.path; return params; }, @@ -90,6 +94,8 @@ var Marks = Module("marks", { return; let mark = this.add("'"); + if (jump && mark.equals(jump.mark)) + return; if (!this.jumping) { store.jumps[++store.jumpsIndex] = { mark: mark, reason: reason }; |