3535# Navigation_OverView is boolean
3636Navigation_NavVerbosity = ("Terse" , "Medium" , "Verbose" )
3737# Navigation_AutoZoomOut is boolean
38+ Navigation_CopyMathAs = ("MathML" , "LaTeX" , "ASCIIMath" )
3839Braille_BrailleNavHighlight = ("Off" , "FirstChar" , "EndPoints" , "All" )
3940
4041
@@ -400,6 +401,7 @@ def set_ui_values(self):
400401 self .m_sliderPauseFactor .SetValue (pause_factor )
401402 self .m_checkBoxSpeechSound .SetValue (user_preferences ["Speech" ]["SpeechSound" ] == "Beep" )
402403 self .m_choiceSpeechForChemical .SetSelection (Speech_Chemistry .index (user_preferences ["Speech" ]["Chemistry" ]))
404+
403405 self .m_choiceNavigationMode .SetSelection (Navigation_NavMode .index (user_preferences ["Navigation" ]["NavMode" ]))
404406 self .m_checkBoxResetNavigationMode .SetValue (user_preferences ["Navigation" ]["ResetNavMode" ])
405407 self .m_choiceSpeechAmountNavigation .SetSelection (
@@ -411,6 +413,8 @@ def set_ui_values(self):
411413 self .m_choiceNavigationSpeech .SetSelection (0 )
412414 self .m_checkBoxResetNavigationSpeech .SetValue (user_preferences ["Navigation" ]["ResetOverview" ])
413415 self .m_checkBoxAutomaticZoom .SetValue (user_preferences ["Navigation" ]["AutoZoomOut" ])
416+ self .m_choiceCopyMathAs .SetSelection (Navigation_CopyMathAs .index (user_preferences ["Navigation" ]["CopyMathAs" ]))
417+
414418 self .m_choiceBrailleHighlights .SetSelection (
415419 Braille_BrailleNavHighlight .index (user_preferences ["Braille" ]["BrailleNavHighlight" ])
416420 )
@@ -461,6 +465,8 @@ def get_ui_values(self):
461465 user_preferences ["Navigation" ]["Overview" ] = self .m_choiceNavigationSpeech .GetSelection () != 0
462466 user_preferences ["Navigation" ]["ResetOverview" ] = self .m_checkBoxResetNavigationSpeech .GetValue ()
463467 user_preferences ["Navigation" ]["AutoZoomOut" ] = self .m_checkBoxAutomaticZoom .GetValue ()
468+ user_preferences ["Navigation" ]["CopyMathAs" ] = Navigation_CopyMathAs [self .m_choiceCopyMathAs .GetSelection ()]
469+
464470 user_preferences ["Braille" ]["BrailleNavHighlight" ] = (
465471 Braille_BrailleNavHighlight [self .m_choiceBrailleHighlights .GetSelection ()]
466472 )
@@ -575,6 +581,8 @@ def validate_user_preferences():
575581 UserInterface .validate ("Navigation" , "NavVerbosity" , ["Terse" , "Medium" , "Full" ], "Medium" )
576582 # AutoZoomOut: true # Auto zoom out of 2D exprs (use shift-arrow to force zoom out if unchecked)
577583 UserInterface .validate ("Navigation" , "AutoZoomOut" , [False , True ], True )
584+ # NavCopyMathAs: MathML # MathML, LaTeX, ASCIIMath
585+ UserInterface .validate ("Navigation" , "CopyMathAs" , ["MathML" , "LaTeX" , "ASCIIMath" ], "MathML" )
578586 # Braille:
579587 # BrailleNavHighlight: EndPoints
580588 # Highlight with dots 7 & 8 the current nav node -- values are Off, FirstChar, EndPoints, All
0 commit comments