GUI: display estimated result count in status line

This commit is contained in:
Jean-Francois Dockes
2011-03-11 11:54:50 +01:00
parent afde2f9c2a
commit ae6d758b34
6 changed files with 35 additions and 11 deletions
+1 -1
View File
@@ -1 +1 @@
1.15.7
1.15.8pre