Alexandr Miloslavskiy

Unfortunately this approach does not help to make lines lower (so that tall characters take same space as latin characters). I made quick&dirty experimental patches for Windows and Linux. **Windows**...

Variable line height is already implemented in `StyledText`. But when two parallel StyledTexts need to be in sync (to show diffs in git), variable line height becomes a problem of...

> Can you please clarify what particular problems you're referring to? 1) Aligning (that is, scrolling synchronously) two parallel StyledTexts becomes a bigger problem with variable line height 2) It's...

> I'm optimistic that this particular issue can be fixed relatively easily. The effort of designing what the behavior should be, then coding it shouldn't be hard. Maybe. Or maybe...

Just a couple weeks ago, I also noticed that `StyledText` fails to render some characters on Windows, in specific fonts. Probably some bug in how StyledText searches for fallback fonts?...

> I need help to generate the binaries (the .dll files) properly. I spent hours trying (and getting to a hacky way). What kind of errors did you have? What...

Sorry, I don't think I can find time to review.

No objections from my side.

Indeed GTK `gtk_tree_store_iter_n_children()` iterates a list of items to count children: https://github.com/GNOME/gtk/blob/3.24.38/gtk/gtktreestore.c#L766-L771 Note that on Windows, SWT caches number of items: https://github.com/eclipse-platform/eclipse.platform.swt/blob/eafdfbdfd7a4ee62a6bdb694be97f9e13abade09/bundles/org.eclipse.swt/Eclipse%20SWT/win32/org/eclipse/swt/widgets/Tree.java#L3340-L3348

I could have a look on wednesday, if I don't forget.