disabled pdf annotation buttons and fixed rename directory in nav bar

SQUASHED: AUTO-COMMIT-src-components-tools-lively-container.js,AUTO-COMMIT-src-components-widgets-lively-pdf.html,AUTO-COMMIT-src-components-widgets-lively-pdf.js,

Author: JensLincke

src/components/tools/lively-container.js

@@ -774,10 +774,6 @@ export default class Container extends Morph {
     this.followPath(url)
   }
   /*MD ## File Operations MD*/
-
-  
-  
-  
   async deleteFile(url, urls) {
     lively.notify("deleteFile " + url)
     if (!urls || !urls.includes(url)) {
@@ -832,7 +828,9 @@ export default class Container extends Morph {
 
   async renameFile(url, followFile=true, proposedNewName) {
     url = "" + url
+    url = url.replace(/\/$/,"") // case of single dir
     var base = url.replace(/[^/]*$/,"")
+    
     var name = proposedNewName || decodeURI(url.replace(/.*\//,""))
     var newName = await lively.prompt("rename", name)
     if (!newName) {

src/components/widgets/lively-pdf.html

@@ -36,6 +36,7 @@
   </div>
 
   <div class="pdfEditButtons">
+    <!-- Seminar prototype seems not to work any more... 
     <button id="pdf-add-button">
       <i class="fa fa-plus"></i>
     </button>
@@ -51,6 +52,7 @@
     <button id="pdf-cancel-button" disabled>
       <i class="fa fa-ban"></i>
     </button>
+    -->
     <button id="prevButton">
       <i class="fa fa-arrow-left"></i>
     </button>

src/components/widgets/lively-pdf.js

@@ -25,17 +25,6 @@ export default class LivelyPDF extends Morph {
 
     lively.html.registerKeys(this, "PDF")
 
-      // Register event handlers for edit mode for annotations
-    lively.addEventListener("pdf", this.getSubmorph("#pdf-edit-button"), "click",
-                          () => this.onPdfEdit());
-    lively.addEventListener("pdf", this.getSubmorph("#pdf-add-button"), "click",
-                          () => this.onPdfAdd());
-    lively.addEventListener("pdf", this.getSubmorph("#pdf-save-button"), "click",
-                          () => this.onPdfSave());
-    lively.addEventListener("pdf", this.getSubmorph("#pdf-cancel-button"), "click",
-                          () => this.onPdfCancel());
-    lively.addEventListener("pdf", this.getSubmorph("#pdf-delete-button"), "click",
-                          () => this.onPdfDelete());
     this.registerButtons()
 
     this.currentPage = this.currentPage
@@ -232,17 +221,17 @@ export default class LivelyPDF extends Morph {
     this.pdfViewer.currentScaleValue = 'page-width';
   }   
 
-  onPdfEdit() {
+  onPdfEditButton() {
     this.setDeleteMode(false);
     this.enableEditMode();
   }
 
-  onPdfDelete() {   
+  onPdfDeleteButton() {   
     this.disableEditMode(); 
     this.setDeleteMode(!this.deleteMode);
   }
 
-  onPdfAdd() {
+  onPdfAddButton() {
     if (this.shadowRoot.getSelection().rangeCount > 0) {
       let currentPageNumber = this.getPageNumber(this.shadowRoot.getSelection());
       let scale = this.pdfViewer._pages[0].viewport.scale;
@@ -280,11 +269,11 @@ export default class LivelyPDF extends Morph {
     }
   }
 
-  onPdfSave() {
+  onPdfSaveButton() {
     this.savePdf();
   }
 
-  onPdfCancel() {
+  onPdfCancelButton() {
     this.disableEditMode(); 
   }