-
由 Martin Aeschlimann 提交于
[theme] rename editorFindWidgetBackground to editorWidgetBackground, add editorWidgetShadow and use in findOptionsWidget
59a41a7c
[theme] rename editorFindWidgetBackground to editorWidgetBackground, add editorWidgetShadow and use in findOptionsWidget