browser: stub copy repo rev

artiq/browser/files.py

@@ -160,6 +160,14 @@ class FilesDock(QtWidgets.QDockWidget):
         self.rl.activated.connect(self.list_activated)
         self.splitter.addWidget(self.rl)
 
+        self.rl.setContextMenuPolicy(QtCore.Qt.ActionsContextMenu)
+        rev_copy = QtWidgets.QAction("Copy repo_rev (SHIFT-CTRL-C)",
+                                     self.rl)
+        rev_copy.triggered.connect(self._copy_repo_rev)
+        rev_copy.setShortcut("SHIFT-CTRL-C")
+        rev_copy.setShortcutContext(QtCore.Qt.WidgetShortcut)
+        self.rl.addAction(rev_copy)
+
         self.restore_selected = select is None
         if select is not None:
             f = os.path.abspath(select)
@@ -168,6 +176,9 @@ class FilesDock(QtWidgets.QDockWidget):
             else:
                 self.select_file(f)
 
+    def _copy_repo_rev(self):
+        pass
+
     def tree_current_changed(self, current, previous):
         idx = self.rt.model().mapToSource(current)
         self.rl.setRootIndex(idx)