def done_click(self):
for i in range(len(self.radios)):
if self.radios[i].getChecked():
op = Operation(Operation.get_new_id(), self.theorems[i].formula.get_no_of_args_for_unique_form(),
self.textbox_scheme.getText(), self.textbox_name.getText(), Operation.EXPRESSION)
Operation.global_operations.append(op)
Theorem.theorems.append(Theorem(self.theorems[i].formula.get_def_theorem(op),18,"iojo",[]))
IO.save()
self.hide()
def done_click(self):
self.theorem.folder = self.get_folder_name()
Theorem.theorems.append(self.theorem)
IO.save()
self.hide()
def done_click(self):
self.theorem.folder=self.get_folder_name()
Theorem.theorems.append(self.theorem)
IO.save()
self.hide()