logidoc/java.js at master · cagve/logidoc · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
function displayMenu(menu){
    if(menu==1){
        var menuDiv = document.getElementById("prob");
    }else{
        menuDiv = document.getElementById("nec");
    }
    if(menuDiv.style.display == "block"){
        addConector('◻');
        menuDiv.style.display = "none";
    }else{
        menuDiv.style.display = "block";
    }
}
function ayuda(){
    alert("Este editor ha sido desarrollado para agilizar el proceso de creación y edición de lenguajes lógicos.\n Se recomienda que una vez finalizado el ejercicio se copie y pegue sin formato en el procesador de texto que utilice.");
}

function addConector(conector) {
    // instrucción para activar el focus si estamos en otro div editable o input
    $('#txtbox').focus();
    document.execCommand('insertHTML', false, conector);
}

function copiar(){
    document.getElementById("txtbox").focus();
    document.execCommand('SelectAll');
    document.execCommand('Copy');
}

function abrira(){
    document.getElementById('dobleA').style.display = 'block';
}

function cerrara(){
    document.getElementById('dobleA').style.display = 'none';
}

function doblem(){
    document.getElementById('doble').style.display = 'block';
}

function dobleo(){
    document.getElementById('doble').style.display = 'none';
}

function mostrar() {
    var x = document.getElementById("herramientas2");
    if (x.style.display === "none") {
        x.style.display = "block";
    } else {
        x.style.display = "none";
    }
}

function toTop() {
    window.scrollTo(0, 0)
}

// document.onkeyup = function(e) {
//     if (e.ctrlKey && e.altKey && e.which == 67) {
//         addConector(' ∧ ');
//     } else if (e.ctrlKey && e.altKey && e.which == 68) {
//         addConector(' ∨ ');
//     } else if (e.ctrlKey && e.altKey && e.which == 78) {
//         addConector(' ¬ ');
//     } else if (e.ctrlKey && e.altKey && e.which == 71) {
//         addConector('─ ');
//     } else if (e.ctrlKey && e.altKey && e.which == 65) {
//         addConector('┌ ');
//     } else if (e.ctrlKey && e.altKey && e.which == 90) {
//         addConector('│ ');
//     } else if (e.ctrlKey && e.altKey && e.which == 89) {
//         addConector('└ ');
//     } else if (e.ctrlKey && e.altKey && e.which == 66) {
//         addConector(' ↔ ');
//     } else if (e.ctrlKey && e.altKey && e.which == 73) {
//         addConector(' → ');
//     } else if (e.ctrlKey && e.altKey && e.which == 85) {
//         addConector(' ∀ ');
//     } else if (e.ctrlKey && e.altKey && e.which == 81) {
//         addConector(' Ǝ ');}
// };