Julian Ospald 01c241a01e GTK: remove tab label side-effect from refreshView' ...

This would cause bugs when newtab on middle-click is implemented,
since creating a new tab creates also a new view, but doesn't
change the current tab to that view. refreshView' would then
update that view with the information from the wrong tab.

2016-06-01 22:00:37 +02:00

..

Glib

LIB/GTK: use more recent library versions

2016-04-16 19:14:08 +02:00

Gtk

GTK: remove tab label side-effect from refreshView'

2016-06-01 22:00:37 +02:00

Gtk.hs

GTK: implement tabs wrt #45

2016-04-24 18:38:47 +02:00