# HG changeset patch # User Teemu Piippo # Date 1406424948 -10800 # Node ID 46689ea6fdc626106dcb1ab7b1d5109364fc54a0 # Parent cbd89b33f70dff592072a56b19993cf7b90c579b - whoah looks like I forgot to save in designer... diff -r cbd89b33f70d -r 46689ea6fdc6 ui/config.ui --- a/ui/config.ui Sun Jul 27 04:35:00 2014 +0300 +++ b/ui/config.ui Sun Jul 27 04:35:48 2014 +0300 @@ -251,6 +251,13 @@ + + + + Use logoed studs + + + @@ -321,17 +328,17 @@ - - + + - Use logoed studs + Highlight object below cursor - + - Highlight object below cursor + List implicitly loaded files