/* * [Česky] * Projekt: Robot Karel * Copyright: Viz KOPIROVANI v kořenovém adresáři projektu * * [English] * Project: Karel, the Robot * Copyright: See COPYING in the top level directory */ // JavaScript - inicializace a ovládání okna pro uložení a export // =========================================================================== // =~ Základní funkce pro ovládání vstupu a výstupu ~========================= // Typ okna data.ukladani.typ = new Object(); data.ukladani.typ.NORMALNI = 0; data.ukladani.typ.KOMENTARE = 2; // Zobrazení okna podle typu dat. Vstupní data se očekávají ve formátu // unescape(), tedy tak, jak mají být zobrazena data.ukladani.zobraz_v_okne = function (typ, hlavicka, popis, data, pocet_radek) { // Nové okno var w = window.open( "", "", "directories=no,hotkeys=no,"+ "location=no,menubar=no,personalbar=no,resizable=yes,scrollbars=yes,"+ "status=no,toolbar=no,width=550,height=480" ); // Zapiš hlavičku w.document.write( '' + '' + '' + 'Robot Karel: ' + hlavicka + '' + '' + '' + '' + '' + '' + '' + '' ); this.zapis_zmen_komentare( w.document, data ); w.document.write( '' + ''+ '
' + // Stránka '
' + popis + '
' ); if ( typ == this.typ.KOMENTARE ) { w.document.write( '

\n' + '\n' + '\n' + '\n' + '\n' + '\n' + '\n' + '

' ); } w.document.write( '
' + '
' + '
' + '
' + '' + '' ); w.document.close(); var obsah = w.document.createElement('iframe'); obsah.setAttribute("id", "vnitrni-ramec"); w.document.getElementById("ramecek").appendChild(obsah); obsah.contentWindow.document.open('text/html', 'replace'); obsah.contentWindow.document.write( '' + '' + '' + 'Robot Karel: ' + hlavicka + '' + '' + '' + '' + '' + '' + '' + '' + '' + '' + '
' +
	'
' + '' + '' ); obsah.contentWindow.document.close(); w.zmen_komentare(); w.focus(); } // Zobrazení s komentáři, nebo bez nich data.ukladani.zapis_zmen_komentare = function (d, text) { var puvodni_obsah = escape(text); var bez_komentaru = puvodni_obsah.replace( /%3B([^%]|%(?!0A))*/g, "" ); bez_komentaru = bez_komentaru.replace( /^(%09|%0A|%0D|%20)+/g, "" ); bez_komentaru = bez_komentaru.replace( /%0A((%09|%0A|%0D|%20)*%0A)+((%09|%0A|%0D|%20)*%0A)/g, "%0A$3" ); bez_komentaru = bez_komentaru.replace( /%0A+$/g, "" ); var beze_vseho = bez_komentaru.replace( /%0A(%20)+%0A/g, "%0A" ); d.write( '' ); }