Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
nightly [2018/10/29 09:37]
hverbeek [New: Icons and URLs for plug-ins]
nightly [2018/10/29 10:05] (current)
hverbeek [New: Icons and URLs for plug-ins]
Line 13: Line 13:
  
 :!: As of Monday October 29, 2018, the plug-in annotations allows for an icon (like ''​icon = my_image.png''​) and a URL (like ''​url = http://​www.promtools.org''​). If an icon is provided for a plug-in, this icon will be shown at two places in the ProM action view: :!: As of Monday October 29, 2018, the plug-in annotations allows for an icon (like ''​icon = my_image.png''​) and a URL (like ''​url = http://​www.promtools.org''​). If an icon is provided for a plug-in, this icon will be shown at two places in the ProM action view:
-  - At the far right-hand side of the corresponding action in the action list. +  - At the far right-hand side of the corresponding action in the action list, max. size is 100px wide by 50px high
-  - At the far right-hand side of the **plugin action info** if the corresponding action is selected by the user.+  - At the far right-hand side of the **plugin action info** if the corresponding action is selected by the user, max. size = 200px wide by 100 px high.
 If a URL is also provided, then the second icon (the one in the ** plugin action info**) will be clickable, and clicking it will open the default web browser with the provided URL. If a URL is also provided, then the second icon (the one in the ** plugin action info**) will be clickable, and clicking it will open the default web browser with the provided URL.
  
  • Show page