Re: Customizing the UI with myLeoSettings.leo

2013-11-18 Thread Edward K. Ream
On Sun, Nov 17, 2013 at 3:09 PM, jquil...@gmail.com wrote: Help! I messed up my UI configuration (I know this would happen, sooner or later :) Under the stylesheet and source branch of myLeoSettings.leo, it says: # To generate the stylesheet @data from this source, # use `run-script` on

Re: Customizing the UI with myLeoSettings.leo

2013-11-18 Thread Jerry
On Mon, Nov 18, 2013 at 1:39 PM, Edward K. Ream edream...@gmail.com wrote: Terry, we've got to remove this advice. It tends to destroy myLeoSettings.leo. Do you mean that the script-based generation will be eliminated? -- You received this message because you are subscribed to the Google

Re: Customizing the UI with myLeoSettings.leo

2013-11-18 Thread Terry Brown
On Mon, 18 Nov 2013 06:39:07 -0600 Edward K. Ream edream...@gmail.com wrote: On Sun, Nov 17, 2013 at 3:09 PM, jquil...@gmail.com wrote: Help! I messed up my UI configuration (I know this would happen, sooner or later :) Under the stylesheet and source branch of myLeoSettings.leo, it

Re: Customizing the UI with myLeoSettings.leo

2013-11-18 Thread Jacob Peck
On 11/18/2013 10:06 AM, Terry Brown wrote: On Mon, 18 Nov 2013 06:39:07 -0600 Edward K. Ream edream...@gmail.com wrote: On Sun, Nov 17, 2013 at 3:09 PM, jquil...@gmail.com wrote: Help! I messed up my UI configuration (I know this would happen, sooner or later :) Under the stylesheet and

Re: Customizing the UI with myLeoSettings.leo

2013-11-18 Thread Terry Brown
On Mon, 18 Nov 2013 13:55:51 +0100 Jerry jquil...@gmail.com wrote: On Mon, Nov 18, 2013 at 1:39 PM, Edward K. Ream edream...@gmail.com wrote: Terry, we've got to remove this advice. It tends to destroy myLeoSettings.leo. Do you mean that the script-based generation will be eliminated?

Re: Customizing the UI with myLeoSettings.leo

2013-11-18 Thread jquill81
On Monday, November 18, 2013 4:12:52 PM UTC+1, Terry wrote: I don't know what Edward did with myLeoSettings.leo a couple of weeks back, but you, Jerry, I think were just reporting that the menu (non)highlighting bug returned when you compiled the stylesheet from the outline with the

Re: Customizing the UI with myLeoSettings.leo

2013-11-18 Thread Terry Brown
On Mon, 18 Nov 2013 07:40:24 -0800 (PST) jquil...@gmail.com wrote: On Monday, November 18, 2013 4:12:52 PM UTC+1, Terry wrote: I don't know what Edward did with myLeoSettings.leo a couple of weeks back, but you, Jerry, I think were just reporting that the menu (non)highlighting bug

Re: Customizing the UI with myLeoSettings.leo

2013-11-18 Thread Jerry
On Mon, Nov 18, 2013 at 5:06 PM, Terry Brown terry_n_br...@yahoo.com wrote: I can't reproduce that, starting with an empty $HOME/.leo and creating mySettingsLeo.leo and copying in dark theme 0 and Ctrl-B on the source stylesheet node does not remove menu highlighting for me. Haven't been

Customizing the UI with myLeoSettings.leo

2013-11-17 Thread jquill81
I have been trying to customize the appearance of the user interface (only colors and font sizes) by tinkering with myLeoSettings.leo. The problem is that this process *looks* straightforward, but it isn't. Once you set the value of a parameter in myLeoSettings.leo, you assume that the value you

Re: Customizing the UI with myLeoSettings.leo

2013-11-17 Thread jquill81
Help! I messed up my UI configuration (I know this would happen, sooner or later :) Under the stylesheet and source branch of myLeoSettings.leo, it says: # To generate the stylesheet @data from this source, # use `run-script` on this node. So I followed this instruction (deleting the @data

Re: Customizing the UI with myLeoSettings.leo

2013-11-17 Thread Terry Brown
On Sun, 17 Nov 2013 12:37:59 -0800 (PST) jquil...@gmail.com wrote: I have been trying to customize the appearance of the user interface (only colors and font sizes) by tinkering with myLeoSettings.leo. The problem is that this process *looks* straightforward, but it isn't. Once you set the

Re: Customizing the UI with myLeoSettings.leo

2013-11-17 Thread jquill81
On Sunday, November 17, 2013 11:28:17 PM UTC+1, Terry wrote: How did you create your myLeoSettings.leo? For what I think you're trying to do, you should have started with an empty file, made a @settings node in it, and copied the 'leo_dark theme 0 settings' node from leoSettings.leo

Re: Customizing the UI with myLeoSettings.leo

2013-11-17 Thread Chris George
It took me a while to grasp the flexibility behind the way Leo currently does settings. Reading the Configuring Leo section of the documentation about six times while experimenting with a set of settings was instructive. I can now use myLeoSettings.leo and per outline settings to great effect.

Re: Customizing the UI with myLeoSettings.leo

2013-11-17 Thread Terry Brown
On Sun, 17 Nov 2013 14:40:01 -0800 (PST) jquil...@gmail.com wrote: On Sunday, November 17, 2013 11:28:17 PM UTC+1, Terry wrote: How did you create your myLeoSettings.leo? For what I think you're trying to do, you should have started with an empty file, made a @settings node in it,