Timeline for Does PrivateFontOptions -> {"OperatorSubstitution" ->False} fail in version 10?
Current License: CC BY-SA 3.0
5 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Sep 3, 2024 at 14:59 | comment | added | John Fultz | The error message is right. You shouldn't be setting StyleDefinitions at the global scope. If it happens to do something, assume that behavior could change in the future (probably to do nothing, as it really should do). | |
| Mar 5, 2015 at 6:46 | history | edited | Verbeia | CC BY-SA 3.0 | new information |
| Oct 25, 2014 at 7:35 | comment | added | Alexey Popkov | (+1) It is interesting that Options[$FrontEndSession, StyleDefinitions] returns an error Options::optnf: StyleDefinitions is not a known option for $FrontEndSession. even after evaluating the suggested code. CurrentValue[$FrontEndSession, StyleDefinitions] returns $Failed. | |
| Oct 25, 2014 at 6:30 | vote | accept | Verbeia | ||
| Feb 11, 2016 at 22:21 | |||||
| Oct 25, 2014 at 6:29 | history | answered | Verbeia | CC BY-SA 3.0 |