...
| Info |
|---|
| We recommend that you 'Watch' this page in order to receive e-mail notifications when it is updated. |
Installation date 2016-03-11
| Area | Description | Notes |
|---|---|---|
| Output logs | Fix: fixed issue where the search mode description label occupied half of the text view area in the Output panel |
Installation date 2016-03-10
| Area | Description | Notes |
|---|---|---|
| Update | New feature: added options to gradually increase server update period when the user does not ask for updates manually. It can help to avoid overloading busy servers. This feature can be controlled from the server setting dialogue (Edit -> Preferences -> Server options). Usage:
By default this feature is enabled. |  |
| Output logs | New feature: a new button was added to the Output panel. By clicking on it a popup window shows detailed information about the output log file shown in the panel. | |
| Generated variables | New feature: generated variables are now clearly distinguishable from user variables in the Variables panel. They have a green colour and an icon decoration (with letter 'G' in it). |  |
| Update/reset | Fix: fixed issue where server update/reset caused a random crash | |
| Update/reset | Fix: fixed issue where closing a tab while a server in it was being updated/reset caused a random crash | |
| Tree view | Fix: fixed issue where adding or removing servers caused a random crash | |
| Tree view | Fix: fixed issue where Repeat and Late attributes were repeated many times | |
| Output logs | Fix: fixed issue where the current output log was shown for nodes with submitted status | |
| Output logs | Fix: fixed issue where output that was accessible from disk was instead read through the logserver or server | |
| Output logs | Fix: fixed issue where the directory listing in the Output panel showed files belonging to other nodes | |
| Context menu | Fix: removed duplicate of the 'Special' submenu |
...