in CW_PROGRESS_DIALOG. process (a_class_name: STRING) is -- Set labels and status of `progress_bar'. a_class_name_not_void: a_class_name /= Void a_class_name_not_empty: not a_class_▇▇▇▇.▇▇_empty if main_vbox.first /= general_progress_vbox then -- Set text labels. general_progress_vbox.class_text_label.set_text (a_class_name)
Appears in 3 contracts
Sources: Master Thesis, Master Thesis, Master Thesis