4 commits

Author	SHA1	Message	Date
zadam	826c434630	fixes in closing tabs and elsewhere	2020-02-09 21:13:05 +01:00
zadam	9f4a514562	fix setting path	2020-02-08 21:23:42 +01:00
zadam	18ee239362	fixes	2020-02-08 20:53:07 +01:00
zadam	14d6372bd8	moved tab related stuff to tab manager from app context	2020-02-07 21:08:55 +01:00