Add [*] placeholder to window titles.

Author: thocevar

Orange/widgets/widget.py

@@ -203,6 +203,8 @@ def __new__(cls, *args, captionTitle=None, **kwargs):
         self.widget_id = OWWidget.widget_id
 
         captionTitle = self.name if captionTitle is None else captionTitle
+        if "[*]" not in captionTitle:
+            captionTitle += "[*]"
 
         # must be set without invoking setCaption
         self.captionTitle = captionTitle
@@ -825,6 +827,8 @@ def wheelEvent(self, event):
 
     def setCaption(self, caption):
         # save caption title in case progressbar will change it
+        if "[*]" not in caption:
+            caption += "[*]"
         self.captionTitle = str(caption)
         self.setWindowTitle(caption)