My OperaDeveloper tools unleashed
Friday, February 2, 2007 7:33:22 PM
Allas ! The wish of many developers and Opera fans was partially fulfilled ! Real developer tools officially supported in Opera 
See some screenies
I personally have my own tools, but Opera's ones seem much more polished, and since they're in javascript, they're fully editable.
But, being me the techie person I am, aka geek, and knowning that the tools announced at dev.opera are scripts, I opened my menu.ini, and saw the following
Neat, uh ? hum, maybe not.
What happens if you are offline, or have javascript off ?
Besides, the script is 170kb, which takes time to download, or check if it's not modified, therefore the menu entry does not respond instantelly, which is a usability problem.
The solution is simple. Download the file http://devfiles.myopera.com/tools/developer/8679/devConsole.js to your user js folder, and add this as a bookmarklet, or replace the Developer Console command with
Don't forget to periodically check for the script version.
Happy development !
See some screenies
I personally have my own tools, but Opera's ones seem much more polished, and since they're in javascript, they're fully editable. But, being me the techie person I am, aka geek, and knowning that the tools announced at dev.opera are scripts, I opened my menu.ini, and saw the following
[Advanced Tools Menu]
Item, 69887 = Manage cookies
Item, 69888 = Manage wand
Item, 920136405 = Content block details, 1
--------------------1
Item, 50838 = Go to page, "opera:plugins",,,"Blank"
Item, 50835 = Go to page, "opera:cache",,,"Blank"
--------------------3
Item, 54122 = Show Java console
Item, 67476 = Show Message console
Item, "Developer Console"="Go to page, "javascript:(function(){var ele=document.documentElement.appendChild(document.createElement('script'));ele.src='http://devfiles.myopera.com/tools/developer/8679/devConsole.js';ele.parentNode.removeChild(ele);opera.tools.console.open();})();", , , " ""
--------------------4
Item, 51212 = Refresh display
Neat, uh ?
hum, maybe not.What happens if you are offline, or have javascript off ?
Besides, the script is 170kb, which takes time to download, or check if it's not modified, therefore the menu entry does not respond instantelly, which is a usability problem.
The solution is simple. Download the file http://devfiles.myopera.com/tools/developer/8679/devConsole.js to your user js folder, and add this as a bookmarklet, or replace the Developer Console command with
javascript:(function(o){if(o&&o.tools&&o.tools.console&&o.tools.console.open)o.tools.console.open();})(window.opera);and you're done.Don't forget to periodically check for the script version.
Happy development !
You must be 
olli # Saturday, February 3, 2007 2:30:03 PM
The file will be cached AFAIK and if you have javascript disabled? Well you are atleast not worse off then before we added this feature are you? ;-)
Simon Houstonshoust # Saturday, February 3, 2007 7:09:36 PM
Enable Javascript & Go to page, "javascript:(function(){var ele=document.documentElement.appendChild(document.createElement('script'));ele.src='http://devfiles.myopera.com/tools/developer/8679/devConsole.js';ele.parentNode.removeChild(ele);opera.tools.console.open();})();"Nexus009 # Sunday, February 4, 2007 3:10:12 PM
button this is the button for toolbar, (bookmarklet for userJS)
João EirasxErath # Monday, February 5, 2007 3:17:02 AM
Originally posted by olli:
NeverSimon Houstonshoust # Monday, February 5, 2007 4:11:37 PM
AyushAyushJ # Sunday, March 18, 2007 6:28:29 AM