Problems modifying 'myLeoSettings.leojs'

[Viktor Ransmayr]

Hello Félix,

This describes the issue I mentioned in my previous response [1].

Once I created the settings outline & saved it at the root of my workspace I tried to modify some of the content.

I wanted to change "theme-name'"from 'None' to 'LightPaperTheme' and failed to do so :-(

I was able to change 'None' to 'Light' - but - as soon as I try to enter the upper-case P the app stops to accept further input ....

With kind regards,

Viktor

---

[1] https://groups.google.com/g/leo-editor/c/aGDOnjtJdC0/m/3H11XXs_AwAJ

[Félix]

oops: move commands seem to trigger with shift instead of just control! 

[Félix]

Fixed! 

I've also added the 'open myLeoSettings' command which will ask and create one for you if not found :)

I've removed some settings in the hidden LeoSettings.leo which sets the starting defaults that relate to the UI. (UI settings handled separately in Leo-Web with the small 'settings' tab in the log pane area for now)

Thanks for beta testing - very close to a version 1.0 I guess! 

I'll setup the hosting very soon so that everyone can just go to some URL to try out the latest build instead of cloning and building themselves each time!

Félix

[Viktor Ransmayr]

Hello Félix,

Félix schrieb am Freitag, 20. März 2026 um 03:17:02 UTC+1:

Fixed! 

Thanks for the quick fix. 

I've also added the 'open myLeoSettings' command which will ask and create one for you if not found :)

I tried this new ~feature~ and can confirm that changing a settings key is working properly !

In my quick test I changed the format of 'body-time-format-string' ...

With kind regards,

Viktor