gui: add some tooltips

artiq/gui/explorer.py

@@ -251,6 +251,7 @@ class ExplorerDock(dockarea.Dock):
         grid.addWidget(self.pipeline, 2, 1)
 
         self.flush = QtGui.QCheckBox("Flush")
+        self.flush.setToolTip("Flush the pipeline before starting the experiment")
         grid.addWidget(self.flush, 2, 2, colspan=2)
 
         submit = QtGui.QPushButton("Submit")

artiq/gui/log.py

@@ -102,6 +102,7 @@ class LogDock(dockarea.Dock):
         self.filterbox = QtGui.QComboBox()
         for item in "DEBUG", "INFO", "WARNING", "ERROR", "CRITICAL":
             self.filterbox.addItem(item)
+        self.filterbox.setToolTip("Display entries at or above this level")
         grid.addWidget(self.filterbox, 0, 1)
         self.filterbox.currentIndexChanged.connect(self.filter_changed)