Ghosted mode edge display

Seems to be a bug in ghosted mode edge thickness display in 9/8/2015 WIP. Changing the setting from default of 2 pixels, it immediately resets after exiting options dialog.

Eric

This happens for all of the display modes customizations right now the first time you make a customization. There is a bug on @JohnM’s list to fix this at
http://mcneel.myjetbrains.com/youtrack/issue/RH-31394