João Eiras

Developer tools unleashed

Friday, 2. February 2007, 19:33:22

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

[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 !

The world through a GoogleUrl filters - The Discipline of Annoyance & Demise

Comments

olli # 3. February 2007, 14:30

What happens if you are offline, or have javascript off ?:
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? ;-)

shoust # 3. February 2007, 19:09

It'd be great if the operator after "Enable Javascript" and "Enable Requested popup windows" And this would work..


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();})();"