On 26 Apr 2017, Richmond wrote: > What controls the height of the title bar? I am testing on a different > system and it has become way to big. Giant. Also some strange effects on > the menu which are different between the otp release and the > distribution release 3.7.
Some DPI issue perhaps? (Guessing wildly...) -- Mark
