Function hideSourceEditor

src/js/method-draw.js:1017–1021

()

    };
  
    var hideSourceEditor = function(){
      $('#svg_source_editor').hide();
      editingsource = false;
      $('#svg_source_textarea').blur();
    };

    var win_wh = {width:$(window).width(), height:$(window).height()};