tabs/script/save_button library
A button to save the script to file.
Time-stamp: <Monday 2025-01-13 16:08:18 +1100 Graham Williams>
Copyright (C) 2023, Togaware Pty Ltd.
Licensed under the GNU General Public License, Version 3 (the "License");
License: https://www.gnu.org/licenses/gpl-3.0.en.html
Authors: Graham Williams, Yixiang Yin