[ui] Expose the "Record Default filename" of the interpreter to the user
There is no reason why it should appear in the properties panel. The goal of this change is mostly to have access to the function through python console.
GitLab update will be applied on June 28th, between 8am and 10:30am, EDT (UTC-04:00). This site may have intermittent delays during that time.
There is no reason why it should appear in the properties panel. The goal of this change is mostly to have access to the function through python console.