The favorite tab gets updated again after changing the favorite state.
authorPhilipp Spitzer <philipp@spitzer.priv.at>
Mon, 17 Oct 2011 18:15:33 +0000 (18:15 +0000)
committerPhilipp Spitzer <philipp@spitzer.priv.at>
Mon, 17 Oct 2011 18:15:33 +0000 (18:15 +0000)
commitdc66a9113c07a4682c6036157dbc0f3708c4af82
treeba42580f20a6fc28a21def8c6ddf804a3b3e7414
parent264f5e7c10f4122bf10c126e00d7ef39f03515eb
The favorite tab gets updated again after changing the favorite state.
src/gui/mainwindow.cpp
src/gui/mainwindow.h
src/gui/tabcontainer.cpp
src/gui/tabcontainer.h
src/mvc/treeview.cpp
src/mvc/treeview.h