Add a command to persist workbench state#3402

mickaelistria merged 1 commit intoeclipse-platform:mastereclipse-platform/eclipse.platform.ui:masterfrom

mickaelistria:persistWorkbenchCommandmickaelistria/eclipse.platform.ui:persistWorkbenchCommandCopy head branch name to clipboard