Markus Nißl
2014-02-21 15:57:05 UTC
I actually wanted to work on a patch that allows for having a separate
style for the autocompletion list.
While the patch for this feature was actually pretty simple, I ran into the
circumstance that also shows up when setting a separate style for calltips:
it affects the layout of the characters in the container. When you choose
two fonts with distinct font metrics for your styles, Scintilla most likely
takes the maximum values.
While this does make sense for styles used in the container, it does not
for the calltip style ... or a potential future autocompletion style.
Is it possible in a rather simple way to separate the calltip style from
the remaining container styles? ... Which would also allow for a separate
autocompletion style!?
Markus
style for the autocompletion list.
While the patch for this feature was actually pretty simple, I ran into the
circumstance that also shows up when setting a separate style for calltips:
it affects the layout of the characters in the container. When you choose
two fonts with distinct font metrics for your styles, Scintilla most likely
takes the maximum values.
While this does make sense for styles used in the container, it does not
for the calltip style ... or a potential future autocompletion style.
Is it possible in a rather simple way to separate the calltip style from
the remaining container styles? ... Which would also allow for a separate
autocompletion style!?
Markus
--
You received this message because you are subscribed to the Google Groups "scintilla-interest" group.
To unsubscribe from this group and stop receiving emails from it, send an email to scintilla-interest+***@googlegroups.com.
To post to this group, send email to scintilla-***@googlegroups.com.
Visit this group at http://groups.google.com/group/scintilla-interest.
For more options, visit https://groups.google.com/groups/opt_out.
You received this message because you are subscribed to the Google Groups "scintilla-interest" group.
To unsubscribe from this group and stop receiving emails from it, send an email to scintilla-interest+***@googlegroups.com.
To post to this group, send email to scintilla-***@googlegroups.com.
Visit this group at http://groups.google.com/group/scintilla-interest.
For more options, visit https://groups.google.com/groups/opt_out.