Konrad Kuśnierz cf90bb9807 Fix selection
Perhaps it would be wise to move widget local variables to some sort of
global variable for each tab.
2015-06-02 20:04:34 +02:00
..
2015-06-02 20:04:34 +02:00
2013-01-18 20:46:36 -02:00