On the Model Verification dialog, after selectiing the desired options and pressing the verify button on a large-ish model (>125 entities), the lag time between start and finish of the verify is long enough that the mouse cursor should change to a watch cursor. There is approximately 5 seconds between pressing the verify button and the first notification in the log and then another 10+ seconds to completion with no errors, warning or hints found. Turning off hints and warnings still takes the same amount of time. That’s long enough to turn the cursor to an hourglass so the user doesn’t keep clicking the verify button. That is really important feedback if the log is hidden. It keeps the user from steadily pushing on the Verify button waiting for something to happen. Personally, the first time I used it, I pushed the verify button 3 times waiting for some feeback.
This dialog (and several others that I don’t recall right now) has some odd resizing properties. Grabbing the bottom of the dialog, you can drag the bottom all the up to the to edge of the dialog, but when you release the bottom of the dialog, the bottom of the “Selection:” text is displayed. IMHO, you should be able to make the dialog smaller than the area required for the option check boxes, in this case just below the “Empty Entity” check box. Then you can do away with the right hand slider if the window becomes smaller than the check box text.
Speaking of the “Selection” buttons. There is a button to turn all on, one for turn all off and one for invert selections. In my mind, the all on/off could be one button with an up or down position. I think there are other dialogs where this is the case as well, but once again I don’t recall of the the top of my head.