docs: def rotate_and_detach_tab_labels(self):
          """Rotates tab labels of a given notebook by 90 degrees and makes them detachable.
  
          :param notebook: GTK Notebook container, whose tab labels are to be rotated and made detachable
          """
          icons = {'Libraries': constants.SIGN_LIB, 'States Tree': constants.ICON_TREE,
                   'Global Variables': constants.ICON_GLOB, 'Modification History': constants.ICON_HIST,
                   'Execution History': constants.ICON_EHIST, 'network': constants.ICON_NET}
          for notebook in self.left_bar_notebooks:
              for i in range(notebook.get_n_pages()):
                  child = notebook.get_nth_page(i)
                  tab_label = notebook.get_tab_label(child)
                  tab_label_text = tab_label.get_text()
                  notebook.set_tab_label(child, gui_helper_label.create_tab_header_label(tab_label_text, icons))
                  notebook.set_tab_reorderable(child, True)
                  notebook.set_tab_detachable(child, True)