From 6d0ae689e9a892b903a173c8f99a74b3cd63c49a Mon Sep 17 00:00:00 2001
From: Robert Jordens <rj@m-labs.hk>
Date: Sat, 9 Jul 2016 18:41:30 +0200
Subject: [PATCH] browser: remove copy_rev stub

---
 artiq/browser/files.py | 11 -----------
 1 file changed, 11 deletions(-)

diff --git a/artiq/browser/files.py b/artiq/browser/files.py
index 4273c97a5..1e6a061ce 100644
--- a/artiq/browser/files.py
+++ b/artiq/browser/files.py
@@ -161,19 +161,8 @@ 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_selection = restore_selection
 
-    def _copy_repo_rev(self):
-        pass
-
     def tree_current_changed(self, current, previous):
         idx = self.rt.model().mapToSource(current)
         self.rl.setRootIndex(idx)