OptionsTopHitProvider.Optional -> OptionsTopHitProvider.CoveredByToggleActions
IDEA-131578 Folding 'blinks' when navigating to a method - adjust test following review
IDEA-127739 Navigation Tab
Stage 8: Get rid of obsolete code
add border for recent project, change colors
EDU-231 Move edit task window and delete task window actions to right-click menu
Merge remote-tracking branch 'origin/master'
Merge remote-tracking branch 'origin/master'
Do not show "Jump to source" action, if we can't to do so

restore old behavior