diff --git a/artiq/dashboard/experiments.py b/artiq/dashboard/experiments.py index 74c3496a9..762a85df2 100644 --- a/artiq/dashboard/experiments.py +++ b/artiq/dashboard/experiments.py @@ -333,6 +333,7 @@ class _ExperimentDock(QtWidgets.QMdiSubWindow): if "repo_rev" in options: repo_rev = QtWidgets.QLineEdit() repo_rev.setPlaceholderText("current") + repo_rev.setClearButtonEnabled(True) repo_rev_label = QtWidgets.QLabel("Revision:") repo_rev_label.setToolTip("Experiment repository revision " "(commit ID) to use")