tabs/script/save_button library
A button to save the script to file.
Time-stamp: "Monday 2025-05-12 11:13:46 +1000 Graham Williams"
Copyright (C) 2023, Togaware Pty Ltd.
Licensed under the GNU General Public License, Version 3 (the "License");
License: https://opensource.org/license/gpl-3-0
Authors: Graham Williams, Yixiang Yin