On Sun, Mar 24, 2019 at 11:57:41AM +0100, Ulrike Fischer wrote: > > In the options menus of tlshell there are entries for papersize and > language which open a choice menu. In this choice menu it is not > visible which option is currently selected. Good point. Shall do something about it. -- Siep Kroonenberg