InsetScript Font Size

2018-10-17 Thread Richard Kimberly Heck
The font in superscripts and subscripts looks to me to be the same size as that of the normal text, when it ought to be smaller. I had a look into this, and I can't see where the font size is set. Help? (We set the font STYLE here, but where is that supposed to make a difference?) Riki

Re: GUI indicator for a command environment

2018-10-17 Thread Richard Kimberly Heck
On 10/17/18 2:35 PM, Paul A. Rubin wrote: > On 10/17/18 11:24 AM, Richard Kimberly Heck wrote: >> On 10/17/18 9:30 AM, Paul A. Rubin wrote: >>> On 10/16/18 10:24 PM, Andrew Parsloe wrote: On 17/10/2018 4:47 a.m., Paul A. Rubin wrote: > Dear devs, > > I'm struggling to cobble togeth

Re: GUI indicator for a command environment

2018-10-17 Thread Paul A. Rubin
On 10/17/18 11:24 AM, Richard Kimberly Heck wrote: On 10/17/18 9:30 AM, Paul A. Rubin wrote: On 10/16/18 10:24 PM, Andrew Parsloe wrote: On 17/10/2018 4:47 a.m., Paul A. Rubin wrote: Dear devs, I'm struggling to cobble together a module supporting the pseudocode features of the algorithmicx

Re: Confusing layout list filter

2018-10-17 Thread Richard Kimberly Heck
On 10/17/18 12:02 PM, Daniel wrote: > On 17/10/2018 17:11, Richard Kimberly Heck wrote: >> On 10/16/18 7:20 AM, Daniel wrote: >>> On 15/10/2018 22:42, Richard Kimberly Heck wrote: On 10/15/18 3:13 PM, José Abílio Matos wrote: > On Monday, 15 October 2018 07.31.20 WEST Daniel wrote: >>

Re: Confusing layout list filter

2018-10-17 Thread Daniel
On 17/10/2018 17:11, Richard Kimberly Heck wrote: On 10/16/18 7:20 AM, Daniel wrote: On 15/10/2018 22:42, Richard Kimberly Heck wrote: On 10/15/18 3:13 PM, José Abílio Matos wrote: On Monday, 15 October 2018 07.31.20 WEST Daniel wrote: Currently, the list is filtered such that any occurrence

Re: GUI indicator for a command environment

2018-10-17 Thread Richard Kimberly Heck
On 10/17/18 9:30 AM, Paul A. Rubin wrote: > On 10/16/18 10:24 PM, Andrew Parsloe wrote: >> On 17/10/2018 4:47 a.m., Paul A. Rubin wrote: >>> Dear devs, >>> >>> I'm struggling to cobble together a module supporting the pseudocode >>> features of the algorithmicx package. As a disclaimer, I'm trying

Re: GUI indicator for a command environment

2018-10-17 Thread Richard Kimberly Heck
On 10/16/18 10:24 PM, Andrew Parsloe wrote: > On 17/10/2018 4:47 a.m., Paul A. Rubin wrote: >> Dear devs, >> >> I'm struggling to cobble together a module supporting the pseudocode >> features of the algorithmicx package. As a disclaimer, I'm trying to >> avoid flex insets and stick to environments

Re: Confusing layout list filter

2018-10-17 Thread Richard Kimberly Heck
On 10/16/18 7:20 AM, Daniel wrote: > On 15/10/2018 22:42, Richard Kimberly Heck wrote: >> On 10/15/18 3:13 PM, José Abílio Matos wrote: >>> On Monday, 15 October 2018 07.31.20 WEST Daniel wrote: Currently, the list is filtered such that any occurrence of the typed characters in that order

Re: GUI indicator for a command environment

2018-10-17 Thread Paul A. Rubin
On 10/16/18 10:24 PM, Andrew Parsloe wrote: On 17/10/2018 4:47 a.m., Paul A. Rubin wrote: Dear devs, I'm struggling to cobble together a module supporting the pseudocode features of the algorithmicx package. As a disclaimer, I'm trying to avoid flex insets and stick to environments as much as