Fixes

• 6e66b23 prompt focus may not be restored when switching tabs
• 849f67e CodeEngine.ts uses invalid option
• 1f669ec PatternFly 2012.14 breaks the indentation of TreeView
• ea7fd1a unlabeled resources shouldn’t have badge for children's count
• 82563ec Tree view badges can have low contrast
• 8f4fbb3 input element is not distinct enough in lightweight ui themes with splits
• a9a073b in lightweight ui themes, markdown content has odd font spacing

ref: #6242