Pietro Gagliardi
|
21dbda72e2
|
Added an optimization to the Tab code on Windows where only the current tab was resized, thinking it would solve flicker issues. It did not, and GTK+ resizes all tabs, so I'm keeping this in mergeback/ for now.
|
2014-08-08 23:02:25 -04:00 |