Fixes enabling/disabling of the textbox selection/scrollbar options.
Description
Toggling the textbox selection and/or scrollbar options in the option page would break the current theme. This pull request also makes the search bar rounder.
Motivation and Context
This fixes a major bug which interferes with the behavior of the extension.
Fixes enabling/disabling of the textbox selection/scrollbar options.
Description
Toggling the textbox selection and/or scrollbar options in the option page would break the current theme. This pull request also makes the search bar rounder.
Motivation and Context
This fixes a major bug which interferes with the behavior of the extension.
Screenshots (if appropriate):
https://user-images.githubusercontent.com/23222943/140520616-e39becef-552f-4876-abb9-bd4572e1d87b.mp4
Types of changes
Checklist: