GtkSourceMap selector not updating






I add a GtkSourceMap in a container next to a GtkSourceView and set
mapping. (GtkSourceView and GtkSourceMap share the same container - box).
When I try to scroll vertically using the minimap selector I notice that it
scrolls as it should, but doesn't update the selector that is drawn and it
looks
as it stays still and nothing is scrolling.


I am really out of ideas why this happens so if anyone knows..




-------------------------------------

П.П. Знаеш ли, че можеш да стартираш своя сайт още сега само за 9,75 лв? Избери най-доброто име за него с 
домейн .COM на промо цена само до 25 октомври. Научи повече на www.superhosting.bg.
 
https://www.superhosting.bg/?utm_source=mail.bg&utm_medium=cpm&utm_content=mail_footer&utm_campaign=campaign2018


[Date Prev][Date Next]   [Thread Prev][Thread Next]   [Thread Index] [Date Index] [Author Index]