Fixed issue where taskbar showed additional icons for certain apps.
Fixed issue where scrolling to change workspaces while hovering over dash-to-dock hides workspaces dock.
Reimplemented custom theme detection.
Fixed where workspaces dock sometimes stays open after hovering over dash.
More changes reimplementing custom theme support.
Reworked intellihide Gnome Shell overrides to provide GS 3.10 compatibility.
Updated dockedWorkspaces for GS 3.10 compatibility.
Merge branch 'dev-theme-detect' into develop.
Fixed file permissions for extension.js and convenience.js
Updated global signal connections for GS 310 compatibility.
Missed this bug. Not necessary to activate meta window twice (causes issues in GS 310).
Updated metadata.json for GS 3.10.
intellihide.js: Cleaned up global signal connections.
Updated dockedWorkspaces and intellihide for GS 3.10 change in Main.overview 
_viewSelector to viewSelector
GS 3.10 no longer uses affectsInputRegion when adding chrome to Main.layoutManager.
Reworked how thumbnailsBox is positioned inside dock container. Now uses CSS padding.

The Issue:
GS 3.10 doesn't seem to allow setting position of thumbnailsBox through set_position 
function. This broke RTL support and left the dock without padding.

The Fix:
Padding is now provided by CSS stylesheet. The only issue introduced was that the 
thumbnailsBox showed the left edge instead of the right edge when the dock is hidden 
in RTL mode. Backward compatibility is achieved by setting the thumbnailsBox position 
when _setHiddenWidth is called in Gnome Shell versions prior to 3.10.
Fixed bug introduced in version 11 where top of dock is clipped when positioned on 2nd 
monitor that is lower in resolution.
dockedWorkspaces: Code cleanup for consistency.
GS 3.10 popup menu items now use ornaments. Added to WindowAppMenuItem for compatibility.
Miscellaneous enhancements to workspace thumbnail caption popup menu functionality.