ui.gadgets.borders: round border-pref-dim
ui.gadgets.borders: round border-pref-dim

factor/factor,factor/factor,tgunr/factor,mrjbq7/factor,factor/factor,mrjbq7/factor,tgunr/factor,tgunr/factor,tgunr/factor,tgunr/factor,factor/factor,mrjbq7/factor,factor/factor,mrjbq7/factor,mrjbq7/factor,tgunr/factor,mrjbq7/factor,factor/factor