Paint circular dirty indicator in editor list popups#3963

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

vogella:editor-list-dirty-indicatorvogella/eclipse.platform.ui:editor-list-dirty-indicatorCopy head branch name to clipboard