Esempio n. 1
0
	def on_spin_search_height_value_changed(self, widget):
		DB.set_searchheight(widget.get_value())
		cat_id = self.get_selected_cat_id()
		if cat_id == None: # Empty Category store, no database loaded
			return
		DB.set_cat_filter(cat_id)
		commands.update_terminology(self)
Esempio n. 2
0
	def on_treeview_selection_category_changed(self, widget):
		if self.cat_filter == False: # dont update terminology, when filter is off
			return
		else:
			self.previous_cat = cat_id = self.get_selected_cat_id()
			if cat_id != None:
				DB.set_cat_filter(self.get_selected_cat_id())
			commands.update_terminology(self)
Esempio n. 3
0
	def on_toggle_show_all_toggled(self, widget):
		status = widget.get_active()
		if status == True:
			self.cat_filter = False
			commands.update_terminology(self)
		else:
			self.cat_filter = True
			commands.update_terminology(self)