Remove useless workaround
authorRicardo Mones <ricardo@mones.org>
Fri, 16 Sep 2016 17:54:10 +0000 (19:54 +0200)
committerRicardo Mones <ricardo@mones.org>
Fri, 16 Sep 2016 17:54:10 +0000 (19:54 +0200)
commita7e20307867cb9f53f7b4afc51a727e7f82d897e
tree35673318dfcb016d405d109b5105b380a352332b
parentdd8aee82fda1f004a9f9e5876efc828fec1d12d8
Remove useless workaround

The problem is still happening with it, see bug #3511
src/gtk/colorlabel.c