619 |
|
|
620 |
/* this is a workaround, around some bug in the gtktextwidget or so ... */ |
/* this is a workaround, around some bug in the gtktextwidget or so ... */ |
621 |
/* i tried to get info on this and everybody agreed that this is a bug */ |
/* i tried to get info on this and everybody agreed that this is a bug */ |
622 |
/* in gtk but noone had a read fix. so i came up with this. */ |
/* in gtk but noone had a fix ready. so i came up with this. */ |
623 |
/* seems to work ... */ |
/* seems to work ... */ |
624 |
if(strcasecmp(name, _("Logs")) == 0) { |
if(strcasecmp(name, _("Logs")) == 0) { |
625 |
gtk_widget_queue_resize(w); |
gtk_widget_queue_resize(w); |
626 |
} |
} else if(strcasecmp(name, _("TBs")) == 0) { |
627 |
|
gtk_widget_queue_resize(w); |
628 |
if(strcasecmp(name, _("Goto")) == 0) { |
} else if(strcasecmp(name, _("Goto")) == 0) { |
629 |
#ifdef USE_MAEMO |
#ifdef USE_MAEMO |
630 |
context->handler_id = gtk_timeout_add(1000, screensaver_update, |
context->handler_id = gtk_timeout_add(1000, screensaver_update, |
631 |
context->appdata); |
context->appdata); |