Differences
This shows you the differences between the selected revisions of the page.
| 2018-10-31 | 2018-10-31 | ||
| bug 1698 (martin) | bug 1699 (martin) | ||
| Line 8: | Line 8: | ||
| * Bug fix: Failure when dropping down bookmark menu while no bookmark is saved. [[bug>1697]] | * Bug fix: Failure when dropping down bookmark menu while no bookmark is saved. [[bug>1697]] | ||
| * Bug fix: Failure when canceling connection attempt. [[bug>1698]] | * Bug fix: Failure when canceling connection attempt. [[bug>1698]] | ||
| + | * Bug fix: With themes disabled, an empty space is reserved for and working as for a close button on a session tab even though the button is not drawn. [[bug>1699]] | ||
| ===== [[5.14.1]] 5.14.1 beta ((2018-10-26)) ===== | ===== [[5.14.1]] 5.14.1 beta ((2018-10-26)) ===== | ||