leo-editor

  1. Bug #798194
  2. Comment #2

Comment 2 for bug 798194

Revision history for this message
Edward K. Ream (edreamleo) wrote :

> Btw, my "fixedwindow" setting is only set in leoSettings.leo to False, neither appearing in myLeoSettings.leo nor in quickstart.leo. The documentation in leoSettings.leo still refers to this variable as fixed_window (with an underscore).

The "canonical" representation of settings deletes '-' and '_' characters, and lowers the result, so these kinds of details, either in user settings or in Leo's code, do not matter.

EKR