Re: dynamically set options for a dropdown menu

2018-10-11 Thread Thomas Friedrichsmeier
On Thu, 11 Oct 2018 13:06:55 +0200 Thomas Friedrichsmeier wrote: > On Thu, 11 Oct 2018 11:39:02 +0200 > meik michalke wrote: > > i see. but select can't be limited to single selections, right? > > True, but this will be easy to add. Hang on... Ok, done. > > as you've seen, i've added a

Re: dynamically set options for a dropdown menu

2018-10-11 Thread Thomas Friedrichsmeier
Hi! On Thu, 11 Oct 2018 11:39:02 +0200 meik michalke wrote: > Am Donnerstag, 11. Oktober 2018, 07:17:11 CEST schrieb Thomas > Friedrichsmeier: > > On Wed, 10 Oct 2018 21:46:26 +0200 > > meik michalke wrote: > > > so, could the above call somehow be used to dynamically > > > fill a dropdown

Re: dynamically set options for a dropdown menu

2018-10-11 Thread meik michalke
hi, Am Donnerstag, 11. Oktober 2018, 07:17:11 CEST schrieb Thomas Friedrichsmeier: > On Wed, 10 Oct 2018 21:46:26 +0200 > meik michalke wrote: > > so, could the above call somehow be used to dynamically > > fill a dropdown menu in a plugin dialog? > > this is not currently possible for a

Re: dynamically set options for a dropdown menu

2018-10-10 Thread Thomas Friedrichsmeier
Hi, On Wed, 10 Oct 2018 21:46:26 +0200 meik michalke wrote: > hi, > > the call > > system("pandoc --list-output-formats") > > lists the output formats your currently installed version of pandoc > can write. given that this list of formats will vary between systems, > it might be a good idea

dynamically set options for a dropdown menu

2018-10-10 Thread meik michalke
hi, the call system("pandoc --list-output-formats") lists the output formats your currently installed version of pandoc can write. given that this list of formats will vary between systems, it might be a good idea to not have a static dropdown menu with possible output formats, but one