Differences
This shows you the differences between the selected revisions of the page.
| 2016-06-20 | 2016-06-22 | ||
| Restored revision 1466064139. Undoing revision 1466412937. (martin) (hidden) | typo (martin) | ||
| Line 10: | Line 10: | ||
| * Extension option controls can be grouped using ''@option - group''. | * Extension option controls can be grouped using ''@option - group''. | ||
| * Command-line switch ''/refresh'' to allow extensions to refresh remote panel. | * Command-line switch ''/refresh'' to allow extensions to refresh remote panel. | ||
| - | * Extension option aliases ''sessionlogpath'' and ''pausecheckbox''. | + | * Extension option aliases ''sessionlogfile'' and ''pausecheckbox''. |
| * It's possible to use an empty parameter in extension options metadata. | * It's possible to use an empty parameter in extension options metadata. | ||
| * Not displaying ellipsis in the Custom command options dialog title. | * Not displaying ellipsis in the Custom command options dialog title. | ||