haiwen/seahub
1
0
Fork 0
mirror of https://github.com/haiwen/seahub.git synced 2025-08-25 18:20:48 +00:00
Code Issues Releases Wiki Activity

improved source code view

Browse Source
This commit is contained in:
llj 2012-08-03 14:06:58 +08:00
parent b0e31a4993
commit d55a788dfd
1 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
templates/snippets/repo_file_get.html
View File

@ -9,9 +9,10 @@
$('#docu-view').removeClass('vh'); $('#docu-view').removeClass('vh');
editor.setReadOnly(true); editor.setReadOnly(true);
editor.setHighlightActiveLine(false); editor.setHighlightActiveLine(false);
editor.setShowPrintMargin(false);//rm the vertical line in the center $('#docu-view .ace_cursor-layer').hide(); // rm cursor
$('#docu-view .ace_cursor-layer').hide();//rm cursor editor.setShowPrintMargin(false); // rm the vertical line in the center
$('#docu-view .ace_sb').hide();//rm right scrollbar editor.renderer.scrollBar.element.style.display = "none"; // hide right scrollbar
editor.renderer.scrollBar.width = 0; // enlarge ace_content width
editor.setTheme("ace/theme/chrome"); editor.setTheme("ace/theme/chrome");
{% if fileext = 'html' or fileext == 'xhtml' or fileext == 'htm' %} {% if fileext = 'html' or fileext == 'xhtml' or fileext == 'htm' %}
@ -52,8 +53,9 @@
{% endif %} {% endif %}
editor.session.getDocument().setValue(data['content']); editor.session.getDocument().setValue(data['content']);
$('#docu-view').css({'position': 'relative', 'width': '100%', 'height': editor.session.getScreenLength() * 20 }); $('#docu-view').css({'position': 'relative', 'height': editor.session.getScreenLength() * parseInt($('#docu-view').css('line-height'))});
editor.resize(); // this line is needed to work in ie editor.resize(); // this line is needed to work in ie
editor.session.setScrollLeft(0); // make bottom scrollbar start from the left-most
}, },
error: function(xhr, ajaxOptions, thrownError) { error: function(xhr, ajaxOptions, thrownError) {
var jsonVal = jQuery.parseJSON(xhr.responseText); var jsonVal = jQuery.parseJSON(xhr.responseText);