[Jenkins]Jenkins

Changes

Summary

  1. Bug 568663: [Script Shell] add DnD support for script variables (details)
  2. Bug 567234: Upgrade target platform to 2020-09 (details)
  3. Bug 568665: [Script Shell] Toolbar help icon has wrong resolution (details)
  4. Bug 568683: [Script Shell] Dropins toolbar button shall use toggle state (details)
Commit 4334405b1a4ee8f666cff2aaf9e32f955cd90ab0 by Christian Pontesegger
Bug 568663: [Script Shell] add DnD support for script variables

Change-Id: I9167d46ba240b744ba948e409f201c02414204e1
The file was modifiedplugins/org.eclipse.ease.ui/plugin.xml
The file was addedplugins/org.eclipse.ease.ui/src/org/eclipse/ease/ui/view/VariablesDragListener.java
The file was addedplugins/org.eclipse.ease.ui/src/org/eclipse/ease/ui/dnd/VariablesDropHandler.java
The file was modifiedplugins/org.eclipse.ease.ui/src/org/eclipse/ease/ui/view/VariablesDropin.java
Commit ca83a8c9aa4cde19571468d7e9dbf1340e1349b3 by Christian Pontesegger
Bug 567234: Upgrade target platform to 2020-09

  set default target platform to 2020-09

Change-Id: I9b5e0d77d9e0db5bfa26a6cbf6482b11b66f8c53
The file was modifiedreleng/org.eclipse.ease.releng/oomph/ease.setup
Commit 7ede7eb97c7c8707da6026229afeb65d194d51eb by Christian Pontesegger
Bug 568665: [Script Shell] Toolbar help icon has wrong resolution

Change-Id: Ic5e4ee82fc833c6c4e8826472a74df6507a185a4
The file was modifiedplugins/org.eclipse.ease.help/help/html/gettingstarted/script_shell.html
The file was modifiedplugins/org.eclipse.ease.ui/plugin.xml
The file was removedplugins/org.eclipse.ease.ui/icons/eobj16/help.png
The file was modifiedplugins/org.eclipse.ease.help/help/images/icons/help.png
Commit fbd37e4ed6f251add92916413e85838944e67e0d by Christian Pontesegger
Bug 568683: [Script Shell] Dropins toolbar button shall use toggle state

Change-Id: Ib9e8ed0dd0eb09592cb1ed186ee53cbc1eb4f93e
The file was modifiedplugins/org.eclipse.ease.ui/plugin.xml
The file was modifiedplugins/org.eclipse.ease.ui/src/org/eclipse/ease/ui/handler/ToggleDropinsSection.java
The file was modifiedplugins/org.eclipse.ease.ui/src/org/eclipse/ease/ui/view/ScriptShell.java