From 7532d5b50ba8e8715a5c583447585249876c2477 Mon Sep 17 00:00:00 2001 From: Doug Kearns Date: Thu, 18 Sep 2008 13:44:32 +0000 Subject: [PATCH] round mark page positions in log messages --- content/buffer.js | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/content/buffer.js b/content/buffer.js index cc72ec50..99d53c03 100644 --- a/content/buffer.js +++ b/content/buffer.js @@ -1440,9 +1440,10 @@ liberator.Marks = function () //{{{ function markToString(name, mark) { - return name + " | " + mark.location + - " | (" + mark.position.x + ", " + mark.position.y + ")" + - (('tab' in mark) ? " | tab: " + liberator.tabs.index(mark.tab) : ""); + return name + ", " + mark.location + + ", (" + Math.round(mark.position.x * 100) + + "%, " + Math.round(mark.position.y * 100) + "%)" + + (('tab' in mark) ? ", tab: " + liberator.tabs.index(mark.tab) : ""); } function removeLocalMark(mark)