/** @class Ext.panel.Tool */ // $tool-include-hover-icons: dynamic(false); $tool-opacity: dynamic(.5); $tool-opacity-over: dynamic(.6); $tool-opacity-pressed: dynamic(.7);
