[Users] How to reference geoext.js

[Eoin Mac Aoidh]

Hi all,
I am confused about how to reference geoext.
I have been using 
"<script src="GeoExt/script/GeoExt.js" type="text/javascript"></script>
<script type="text/javascript" src="myconfiguration.js"></script>"
in my html file respectively to reference GeoExt and hold my Ext.onReady function. Everything has been running smoothly so far, however, I would like to modify some of the geoext functionality, notably to apply a patch to: 
GeoExt\lib\GeoExt\widgets\LayerOpacitySlider.js

I applied the changes to the above file, but the code in myconfiguration.js cannot reach the changes. 
This has been really bugging me. I deleted all the geoext directories except for GeoExt/script/GeoExt.js. To my surprise, the map still funcitons as before, which means that it is not using any of the scripts in GeoExt\lib\GeoExt\widgets\ including the LayerOpacitySlider.js.
How can I reference LayerOpacitySlider.js so that my changes to it will take effect?
Is there any documentation which explains how to do this? Any documentation/tutorials I have looked at just say to reference: 
1 GeoExt/script/GeoExt.js
2 OpenLayers.js
3 ext-base.js
4 ext-all.js
Which seems to bypass LayerOpacitySlider.js 

Thanks for your help.

Eoin





      
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.geoext.org/pipermail/users/attachments/20100804/d1b52bfc/attachment.htm