How do I style an individual dock?

28 views
Skip to first unread message

Chris George

unread,
Jun 17, 2019, 6:19:52 PM6/17/19
to leo-editor
I can style body, outline, and log. I can also set the size of the font in the title bars by changing the size of the general widgets font.

But I can't style Find or Spell or any of the plugin docks.

Chris

Chris George

unread,
Jun 17, 2019, 6:26:35 PM6/17/19
to leo-editor
The General Widgets font size does it.

But it affects all of the non-core widgets.

Chris

Edward K. Ream

unread,
Jun 17, 2019, 6:33:21 PM6/17/19
to leo-editor
On Mon, Jun 17, 2019 at 5:19 PM Chris George <techn...@gmail.com> wrote:
I can style body, outline, and log. I can also set the size of the font in the title bars by changing the size of the general widgets font.

But I can't style Find or Spell or any of the plugin docks.

Good question.  This is probably a hole in all the present style sheets.

The DynamicWindow class (eventually) creates all parts of Leo's main window.  So if we are comfortable with "Read the sources, Luke" you can discover the answers.  You will find dw.createFindDockOrTab and dw.createSpellDockOrTab.

dw.createSpellTab and dw.createFindTab create the various frames, etc.  The various helper methods assign object names to the components, so you can style these independently, if you really want to.

Let me know if these aren't enough clues.

Edward

Chris George

unread,
Jun 18, 2019, 12:10:17 AM6/18/19
to leo-editor
I can style each individual widget in the find dock widget.

findLabel, replaceLabel etc.

I will keep poking at it.

Chris
Reply all
Reply to author
Forward
0 new messages