Subversion Repositories wimsdev

Rev

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

Rev 11622 Rev 13306
Line 73... Line 73...
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 type="text/javascript">
 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);
Line 120... Line 120...
120 
        <li><a onclick="changerListeInstruction2(slib)" href="javascript:void(0);">$name_editor_slib</a> </li>
 120 
        <li><a onclick="changerListeInstruction2(slib)" href="javascript:void(0);">$name_editor_slib</a> </li>
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 type="text/javascript">
 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>