From d8faecedf9f919f66ee9e5a5417d6838e4724e82 Mon Sep 17 00:00:00 2001
From: Jonathan Fischer Friberg <odyssomay@gmail.com>
Date: Wed, 9 Nov 2011 23:21:29 +0100
Subject: [PATCH] set selection_canvas size

---
 js/core.js | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/js/core.js b/js/core.js
index 19bf046..e564fda 100644
--- a/js/core.js
+++ b/js/core.js
@@ -566,6 +566,9 @@ _JUNK_ = function() {
 	      selection_canvas_ctx = selection_canvas.getContext('2d');
 	const selection_area = document.getElementById('selection_area');
 
+	selection_canvas.setAttribute('width', canvas.width);
+	selection_canvas.setAttribute('height', canvas.height);
+
 	selection_canvas_ctx.fillStyle = 'rgba(0, 0, 0, 0.5)';
 	selection_canvas_ctx.strokeStyle = 'rgba(255, 255, 255, 0.8)';
 	const draw_rect = function(x1,y1,x2,y2) {