Differences
This shows you the differences between the selected revisions of the page.
| 2008-10-26 | 2008-10-26 | ||
| 2008-10-26 (martin) | typo (martin) | ||
| Line 27: | Line 27: | ||
| * Bug fix: File statistics on status bar was not updated with automatic update of local file panel on external change. | * Bug fix: File statistics on status bar was not updated with automatic update of local file panel on external change. | ||
| * Bug fix: File externally hidden was not removed from file panel. | * Bug fix: File externally hidden was not removed from file panel. | ||
| - | * Bug fix: Color of file panel border was not updates in some cases. | + | * Bug fix: Color of file panel border was not updated in some cases. |
| ===== 4.1.7 ===== | ===== 4.1.7 ===== | ||