Differences
This shows you the differences between the selected revisions of the page.
2008-11-02 | 2008-11-02 | ||
bug 36 (martin) | bug 332 (martin) | ||
Line 30: | Line 30: | ||
* Bug fix: Color of file panel border was not updated in some cases. | * Bug fix: Color of file panel border was not updated in some cases. | ||
* Bug fix: Error when moving current remote directory to different location (e.g. by dragging tree node). [[bug>330]] | * Bug fix: Error when moving current remote directory to different location (e.g. by dragging tree node). [[bug>330]] | ||
+ | * Bug fix: Duplicating session in new window was not working. [[bug>332]] | ||
===== 4.1.7 ===== | ===== 4.1.7 ===== |