Differences
This shows you the differences between the selected revisions of the page.
| 2013-12-18 | 2013-12-18 | ||
| no summary (Petr) | no summary (Petr) | ||
| Line 21: | Line 21: | ||
| * Tab with disconnected session is greyed. | * Tab with disconnected session is greyed. | ||
| * Drop down menu is never not narrower than its button. | * Drop down menu is never not narrower than its button. | ||
| + | * Increased height of path labels (Commander interface only). | ||