Bug 568962

Summary: ctrl + ctrl - in java editor
Product: [Eclipse Project] Platform Reporter: MOREAU Didier <pulsar.pulsar0>
Component: TextAssignee: Platform-Text-Inbox <platform-text-inbox>
Status: NEW --- QA Contact:
Severity: normal    
Priority: P3    
Version: 4.18   
Target Milestone: ---   
Hardware: PC   
OS: Windows 10   
Whiteboard:

Description MOREAU Didier CLA 2020-11-19 12:15:21 EST 
Hello,

with the version 2020-12 of Eclipse, in the java editor, when I click
ctrl +, ctrl -, one of the part of text, mssk and unmask, but the height of font
does not change.

Best Regards

Didier