34a28d7 Merge small GUI tweaks in preparation for 0.3

Merged and Committed by Libor Polčák 3 years ago
    Merge small GUI tweaks in preparation for 0.3
    
        
file modified
+6 -0
file modified
+3 -3
file modified
+1 -1