Font style in edit box does not change (font size does, style does not.)

[Supaiku]

Editing the font style of the "subtitles edit box" does not change the font in the window (even after restarting hte program). Font size will change, style will not.
Font style and size does change in the "subtitles grid".

This is an important feature for me because I hope to use a particular Mongolian script font for subtitling into the Inner Mongolian (China) script. It works on the video with the style's manager and in the grid, but not the editing box, which means editing needs to be done in an outside text editor=pain.

[nielsm]

I hope fixing this is as easy as it sounds to be.

[nielsm]

I can't reproduce this. Changing the "Subtitles edit box" font in Options does change the font used in the subtitles edit box (used for entering/editing subtitles), and changing the "Subtitles grid" font does change the font used for all of the subtitles grid (displaying all lines in the subtitle file).

However this may relate to the font encoding property, which Aegisub doesn't set or store for any UI font selections, meaning it uses the system default font encoding. This in turn means that fonts with no Unicode mapping tables can break, this is in general only old fonts though.

I tested on the current 2.1.8 codebase.

[Supaiku]

This displays the font problem wherein the font, though applied, options box closed, program reststarted (or not) and reguardless of chose font, the subtitle edit box does not change, however, the subtitle grid font does, no problem. Strikethrough, underline, bold italic - these stylechanges are not saved and do not effect the font (when using browse fuction to change style).

[Supaiku]

Maybe I misunderstand what milestone 2.1.8 means, but perhaps it's been fixed, but the fix isn't in the released .exe yet?
If I'm running windows is there some way for me to get that 2.1.8 codebase? How hard is compiling?

[nielsm]

Can you check whether it works changing the edit box font to anything else? Like, changing it to Times New Roman or another basic font that's easy to tell from others.

I'm not aware of any changes to the subtitles edit box since 2.1.7 so it's more likely it's some strange incompatibility between that specific font and the edit box control.
I just tested on 2.1.7 as well, where I can change the subtitles edit box font to Times New Roman without problems.

It looks like it is a non-standard font from the screenshot, mapping ASCII to different language characters, since the text on the grid is totally mangled.
What encodings does the font support? (Check the Script dropdown box in the Select Font dialogue box.)

[nielsm]

(In [3907]) I managed to reproduce the problem with some fonts not working in the subtitles edit box, as I found a font of my own that didn't work. It was indeed a problem of font encoding. Setting the encoding to default seems to solve the problem.
Updates #1072.

[nielsm]

(In [3908]) Merge r3907 back to trunk, closes #1072

[Supaiku]

Is that something I can do in the program settings or is it a coding thing? How can I do it in the program settings?

Thanks:)

[nielsm]

It was a bug in the program code, and it's fixed for 2.1.8. We're putting the final polish on that version right now, and unless something goes really wrong it should be released in a few days.