+ function show_hints()
+ {
+ return $this->show_hints;
+ }
+
+ function print_profile()
+ {
+ return $this->print_profile;
+ }
+
+ function rep_popup()
+ {
+ return $this->rep_popup;
+ }
+
+ function query_size()
+ {
+ return $this->query_size;
+ }
+