Unanswered: Selecting element short notation
I'm using for some time now ExtJS 3 and ExtJS 4 for webapplications.
Now i'm looking at the Ext Core for using it in my websites, instead of jQuery. However, although Core has many good functions, i see i can select html elements with Ext.select(). Is there also a shortcut for that function, like '$("#myId")'?
Edit: I also see that it is possible with 'Ext.get()', but it's still quite long compared to '$()'.
Also, no Ext.Core 4 i see? (3.1 was the download i think). If there's an Ext.Core 4, then there's no API yet?
Also, what is the speed of Ext.Core in comparison with jQuery?