Differences
This shows you the differences between the selected revisions of the page.
| 2018-11-07 | 2018-11-07 | ||
| bug 1702 (martin) | syntax (martin) | ||
| Line 15: | Line 15: | ||
| * 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]] | * 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]] | ||
| * Bug fix: GUI freezes while executing an extension with ''ShowResultsInMsgBox'' or ''CopyResults'' flags. | * Bug fix: GUI freezes while executing an extension with ''ShowResultsInMsgBox'' or ''CopyResults'' flags. | ||
| - | * Bug fix: ''Ctrl+Shift+Alt-?'' keyboard shortcuts for custom commands and extensions were not working. [[bug>1700]] | + | * Bug fix: ''Ctrl+Shift+Alt+?'' keyboard shortcuts for custom commands and extensions were not working. [[bug>1700]] |
| * Bug fix: //User name// edit box on Login dialog in some cases does not include modification commands (like //Paste//). [[bug>1702]] | * Bug fix: //User name// edit box on Login dialog in some cases does not include modification commands (like //Paste//). [[bug>1702]] | ||
| Line 137: | Line 137: | ||
| * Bug fix: Failure when canceling session reconnect. [[bug>1684]] | * Bug fix: Failure when canceling session reconnect. [[bug>1684]] | ||
| * Bug fix: GUI freezes while executing an extension with ''ShowResultsInMsgBox'' or ''CopyResults'' flags. | * Bug fix: GUI freezes while executing an extension with ''ShowResultsInMsgBox'' or ''CopyResults'' flags. | ||
| - | * Bug fix: ''Ctrl+Shift+Alt-?'' keyboard shortcuts for custom commands and extensions were not working. [[bug>1700]] | + | * Bug fix: ''Ctrl+Shift+Alt+?'' keyboard shortcuts for custom commands and extensions were not working. [[bug>1700]] |
| * Bug fix: //User name// edit box on Login dialog in some cases does not include modification commands (like //Paste//). [[bug>1702]] | * Bug fix: //User name// edit box on Login dialog in some cases does not include modification commands (like //Paste//). [[bug>1702]] | ||