#14248: Add case sensitive to global options
------------------------------------+---------------------------------------
Reporter: tscrim | Owner: sage-combinat
Type: enhancement | Status: needs_review
Priority: major | Milestone: sage-5.9
Component: misc | Resolution:
Keywords: global options | Work issues:
Report Upstream: N/A | Reviewers:
Authors: Travis Scrimshaw | Merged in:
Dependencies: #13605 | Stopgaps:
------------------------------------+---------------------------------------
Comment (by tscrim):
My original thought on giving both options was in case someone wanted to
force lower/uppercase display. Although this ticket came about because of
#2023 in which I needed to have the ability to leave it as uppercase.
Instead what we could do is have a second parameter `display_type` which
could take one of the following values:
- '''uppercase'''
- '''lowercase'''
- '''input''' - the exact user's input
- '''value''' - the exact value given in the code (assuming we have a set
list of possible values)
So for things like convention, we'd use '''value''' since we'd want
English and French to display and to turn off case sensitivity for
checking input. Does this sound like a better solution?
Actually I wonder if we should put something in the autogen doc about case
sensitivity. On that note about autogen doc, it should not reflect the
code, but instead the displayed value. That is what the user sees, and it
would be more trouble explaining why the doc says "English" while the
outputted option is always "english" IMO. (My principle is that if you're
coding it, you "know" what you're doing, but typically the user does not.)
Best,[[BR]]
Travis
--
Ticket URL: <http://trac.sagemath.org/sage_trac/ticket/14248#comment:6>
Sage <http://www.sagemath.org>
Sage: Creating a Viable Open Source Alternative to Magma, Maple, Mathematica,
and MATLAB
--
You received this message because you are subscribed to the Google Groups
"sage-trac" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/sage-trac?hl=en.
For more options, visit https://groups.google.com/groups/opt_out.
