Subversion Repositories wimsdev

Rev

Rev 13443 | Rev 14475 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 13443 Rev 14335
Line 67... Line 67...
67
</div>
67
</div>
68
 
68
 
69
!formend
69
!formend
70
 
70
 
71
<div id="bloc-droit" class="container">
71
<div id="bloc-droit" class="container">
72
        <h4 id="name_list_instruction"> $name_instruction_list :</h4>
72
  <h4 id="name_list_instruction"> $name_instruction_list :</h4>
73
    <div class="content">
73
    <div class="content">
74
        <a class="wims_button" onclick="changerListeInstruction()" href="javascript:void(0);">$name_changeList</a>
74
      <a class="wims_button" onclick="changerListeInstruction()" href="javascript:void(0);">$name_changeList</a>
75
        <div id="divoptions">$name_javascript_required</div>
75
        <div id="divoptions">$name_javascript_required</div>
76
    </div>
76
    </div>
77
</div>
77
</div>
78
<script>
78
<script>
79
                markdown_toolbar = new Control.TextArea.ToolBar.Markdown('wims_deposit_id');
79
  markdown_toolbar = new Control.TextArea.ToolBar.Markdown('wims_deposit_id');
80
                markdown_toolbar.toolbar.container.id = 'markdown_toolbar';
80
  markdown_toolbar.toolbar.container.id = 'markdown_toolbar';
81
 
81
 
82
                function afficherHud(lId) {
82
  function afficherHud(lId) {
83
                        clearInterval(chrono);
83
    clearInterval(chrono);
84
                        if (navigateurEstIncompatible()) return false;
84
    if (navigateurEstIncompatible()) return false;
85
                        element = document.getElementById(lId);
85
    element = document.getElementById(lId);
86
                        if (element) {
86
    if (element) {
87
                                elementId = element.id;
87
      elementId = element.id;
88
                                hudCentrerElement(element);
88
      hudCentrerElement(element);
89
                                this._setOverlay();
89
      this._setOverlay();
90
                                document.getElementById('overlay').style.opacity = '0.75';
90
      document.getElementById('overlay').style.opacity = '0.75';
91
                                document.getElementById('overlay').style.display = 'block';
91
      document.getElementById('overlay').style.display = 'block';
92
                                setTimeout("hudAnimationOuverture(elementId)", 500);
92
      setTimeout("hudAnimationOuverture(elementId)", 500);
93
                        }
93
    }
94
                }
94
  }
95
         anime();
95
  anime();
96
</script>
96
</script>
97
 
97
 
98
<div class="_spacer"></div>
98
<div class="_spacer"></div>
99
 
99
 
100
<div id="help_container" class="container">
100
<div id="help_container" class="container">
Line 121... Line 121...
121
        <li><a onclick="changerListeInstruction2(latex)" href="javascript:void(0);">LaTeX</a> </li>
121
        <li><a onclick="changerListeInstruction2(latex)" href="javascript:void(0);">LaTeX</a> </li>
122
      </ul>
122
      </ul>
123
    </div>
123
    </div>
124
    <div id="overlay" style="display:none"></div>
124
    <div id="overlay" style="display:none"></div>
125
    <script>
125
    <script>
126
        var wims_deposit_id_id = document.getElementById("wims_deposit_id");
126
      var wims_deposit_id_id = document.getElementById("wims_deposit_id");
127
        var redim_div=document.getElementById("wims_deposit_id");
127
      var redim_div=document.getElementById("wims_deposit_id");
128
        var textDiv = document.getElementById("textDiv");
128
      var textDiv = document.getElementById("textDiv");
129
        var enev_menu = document.getElementById("enev_menu");
129
      var enev_menu = document.getElementById("enev_menu");
130
    </script>
130
    </script>
131
</div>
131
</div>