From 24e963dcbf7dde48512373485c5b220841034994 2014-10-26 00:15:36 From: Thomas Kluyver Date: 2014-10-26 00:15:36 Subject: [PATCH] Add comment explaining 1.02 factor --- diff --git a/IPython/html/static/terminal/js/main.js b/IPython/html/static/terminal/js/main.js index ff44311..12c4e37 100644 --- a/IPython/html/static/terminal/js/main.js +++ b/IPython/html/static/terminal/js/main.js @@ -18,6 +18,7 @@ require([ page = new page.Page(); // Test size: 25x80 var termRowHeight = function(){ return 1.00 * $("#dummy-screen")[0].offsetHeight / 25;}; + // 1.02 here arrived at by trial and error to make the spacing look right var termColWidth = function() { return 1.02 * $("#dummy-screen-rows")[0].offsetWidth / 80;}; var base_url = utils.get_body_data('baseUrl');