Differences
This shows you the differences between the selected revisions of the page.
| 2018-10-31 | 2018-10-31 | ||
| bug 1699 (martin) | typo (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]] | + | * Bug fix: With themes disabled, an empty space is reserved for and working as 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)) ===== | ||