tango-controls / jive

Jive is a standalone JAVA application designed to browse and edit the static TANGO database. jive moved to https://gitlab.com/tango-controls/jive
10 stars 6 forks source link

add preferred height to hostCombo #56

Closed jkotan closed 4 years ago

jkotan commented 5 years ago

It resolves #55