Il Fri, 4 May 2018 14:19:42 +0300 Marius Gedminas scrisse:
> ...
> I've checked https://gitlab.gnome.org/GNOME/gtk/issues briefly but
> couldn't find an existing bug, so perhaps nobody has reported it
> upstream.
Hi,
I think this bus is #710888 [1] that is already fixed in
Okay, hiding the text view and then showing it again seems to work.
-
П.П. Само ти още нямаш сайт? Направи си, лесно е! Явката от рекламата ще ти
разкаже повече на www.superhosting.bg.
True that it worths trying queueing a resize.
That's why I tried this before and unfortunatelly didn't fix it.
In fact, I queued draw too. What I will try now is hide the widget and then
show it
-
П.П. Искаш да разшириш бизнеса си и онлайн? Лесно е! Направи си
Op 04-05-18 om 14:55 schreef psp...@mail.bg:
> Right now, what I can do is come up with a way to avoid this.
I have seen strange things with the GtkInfoBar as well. After hiding and
showing it ended up with a negative size which the rest of my app didn't
like very much. I worked around it by
Even if we report it, it will still take time for the path.
Right now, what I can do is come up with a way to avoid this.
Knowing what causes it helps.
Not using revealer is against my decisions.
-
П.П. Само ти още нямаш сайт? Направи си, лесно е! Явката
On Fri, May 04, 2018 at 09:25:44AM -, psp...@mail.bg wrote:
> During the development of my program I came across one drawing glitch that
> I was unable to solve. I am using GtkRevealer to show and hide a GtkInfoBar
> above another box holding a scrolled window with a GtkTextView (actually
>
During the development of my program I came across one drawing glitch that
I was unable to solve. I am using GtkRevealer to show and hide a GtkInfoBar
above another box holding a scrolled window with a GtkTextView (actually
GtkSourceView) a lot like it is in gedit. The whole thing is packed in