Thu, 21 Feb 2019 19:55:35 +0100 | Detlev Offenbach | PipInterface: continued with the pip interface widget. | file | diff | annotate |
Sun, 17 Feb 2019 19:19:30 +0100 | Detlev Offenbach | PipInterface: started to convert the pip interface from a menu based plug-in to a widget based interface to be placed in the right side tools bar. | file | diff | annotate | base |