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 20: | Line 20: | ||
| * Buttons that open drop down menu are marked with an arrow. | * Buttons that open drop down menu are marked with an arrow. | ||
| * Tab with disconnected session is greyed. | * Tab with disconnected session is greyed. | ||
| + | * Drop down menu is never not narrower than its button. | ||