Editor widget: Font size selector does not reflect the font size of text where the cursor resides

[guest]

To duplicate:

• Enter several lines of text, each in a different font size.
• Now, move the cursor from one line to the next. When the cursor moves from

Size 1 text to Size 2 text, the font size indicator at the top of the screen does not change to indicate the new size.

This is problematic when you want to change the font size of text. For intsance, suppose you have the following text:

[Font Size 2:] This is line A. [Font Size 4:] This is line B. [Font Size 2:] This is line C.

Now, suppose that, after you finish typing line C, you want to change line B's font size to Size 4, so that it is consistent with lines A and C. When you use the cursor to select line B, the Font Size selector will remain on Size 2. Therefore, when you try to change the size from Size 2 to Size 2, nothing happens, and the text remains at Size 4. In order to change the text, you must first change the size to anything other than Size 2, and then change it a second time, this time to Size 2.

Sorry for the confusing description, but I can't think of a way to make it clearer.

[guest]

Notice that the editor reports that the selected text is Size 1, though that is obviously not the case.

[bill]

Yup, let's fix this when we add font setting back into the editor.

[Adam Peller]

Fixed, I think, but blocked by #4971