On 11/20/19 7:52 AM, Juergen Spitzmueller wrote: > commit 772f2a28414dae7765486ad7aff042e4299c7fb7 > Author: Juergen Spitzmueller <spitz at lyx.org> > Date: Wed Nov 20 14:07:05 2019 +0100 > > GuiSelectionManager: fix getSelectedIndex for availableLV Fine for stable if needed. Riki