Usunięcie niepotrzebnego już pliku platforma/dispatch.wsgi.
[redakcja.git] / platforma / templates / explorer / editor.html
old mode 100644 (file)
new mode 100755 (executable)
index 67c357d..2458e8e
                <div class="htmlview">
                </div>
        </script>       
+        
+        <script type="text/html" charset="utf-8" id="html-view-frag-menu-template">
+            <span class="default-menu context-menu">
+                <span class="edit-button">Edytuj</span>                
+            </span>
+            <span class="edit-menu context-menu">
+                <span class="accept-button">OK</span>
+                <span class="reject-button">Anuluj</span>
+            </span>
+        </script>
+
+
 
        <script type="text/html" charset="utf-8" id="flash-view-template">
                <div class="flashview">
 
 {% block header-toolbar %}
     <a href="http://stigma.nowoczesnapolska.org.pl/platforma-hg/ksiazki/log/tip/{{ fileid }}.xml" target="_new" >{% trans 'History'  %}</a>
-       <button id="action-merge">{% trans 'Push'  %}</button>
-        <button id="action-update">{% trans 'Pull'  %}</button>
-        <button id="action-commit">{% trans 'Save'  %}</button>
-        <button id="action-quick-save">{% trans 'Quick save'  %}</button>
+       <button id="action-merge">{% trans 'Push' %}</button>
+        <button id="action-update">{% trans 'Pull' %}</button>
+        <button id="action-commit">{% trans 'Save' %}</button>
+        <button id="action-quick-save">{% trans 'Quick save' %}</button>
 {% endblock %}
 
 {% block maincontent %}