Committed part 2 of Markus's patch to fix bug 220215: [hovers] Bad API: IInformationControlExtension5#allowMoveIntoControl()
10 files changed