update toolkit default tip

fix gtk4 dependency

in the repo list, show the stored-user if no user is configured

implement UI for editing properties, relates to #497

(0) -30 -10 -4 tip

mercurial