mirror of
https://github.com/Extraltodeus/test_my_prompt.git
synced 2026-11-05 00:17:26 +00:00
[PR #15] [MERGED] Made grid save options more comprehensive. #27
Labels
No labels
pull-request
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set.
Reference
Extraltodeus/test_my_prompt#27
Loading…
Add table
Add a link
Reference in a new issue
No description provided.
Delete branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/Extraltodeus/test_my_prompt/pull/15
Author: @AnonymousCervine
Created: 1/5/2023
Status: ✅ Merged
Merged: 1/6/2023
Merged by: @Extraltodeus
Base:
main← Head:main📝 Commits (2)
e9d03daMade grid save options more comprehensive.e1be3dcFixed unfortunate placement of statement.📊 Changes
1 file changed (+18 additions, -6 deletions)
View changed files
📝
test_my_prompt/scripts/test_my_prompt_custom_script.py(+18 -6)📄 Description
Follow-up of discussion in #13
Upon consideration, I have also tentatively added one more option, "Use user settings", for anyone who really wants this to be governed by their global settings. However: I'm not at all certain about it, it may overcomplicate things and it might for instance be better to ignore user settings completely rather than selectively override them (for most people, the desire for a grid here would seem to quite separable from whether they would normally desire one; thus for instance the need for your original flag); there is a balance between "covering all use cases" and "having a minimal interface" and I'm not sure whether this hits the sweet spot.
Let me know what you think.
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.