def free_up_memory():
        """Free unused memory by clearing up unused objects.

        Used just before loading a new file, so data
        accumulated from the edition of the previous file
        (if there was one) isn't kept around now that
        another file is being loaded.

        The previous file edited might be the one being
        loaded (that is, the file is reloaded). However,
        even if it is the case, this measure should still
        save memory, since data/objects present in
        the past session may not be needed anymore in
        the new session.
        """
        ### clear dictionary used to store surfaces and
        ### other data across multiple nested levels
        OPTIONS_TO_STYLE_DATA.clear()

        ### clear dictionary used to map text setting data
        ### to arrow surfaces
        STYLE_TO_ARROW_SURFS.clear()
Free unused memory by clearing up unused objects.

        Used just before loading a new file, so data
        accumulated from the edition of the previous file
        (if there was one) isn't kept around now that
        another file is being loaded.

        The previous file edited might be the one being
        loaded (that is, the file is reloaded). However,
        even if it is the case, this measure should still
        save memory, since data/objects present in
        the past session may not be needed anymore in
        the new session.
        
nodezator/widget/optionmenu/main.py