Some minor updates to third-party libraries page of the developer documentation [ci skip].
Minor fix our Editor widget [ci skip].

It was related to the width of the icons for the find widget.
Some work on creating a spinner widget (#448) [ci skip].