docs: def update_tab_label(self, state_m):
          """Update all tab labels
  
          :param rafcon.state_machine.states.state.State state_m: State model who's tab label is to be updated
          """
          state_identifier = self.get_state_identifier(state_m)
          if state_identifier not in self.tabs and state_identifier not in self.closed_tabs:
              return
          tab_info = self.tabs[state_identifier] if state_identifier in self.tabs else self.closed_tabs[state_identifier]
          page = tab_info['page']
          set_tab_label_texts(page.title_label, state_m, tab_info['source_code_view_is_dirty'])