Skip navigation.

exploreopera

| Help

Sign up | Help

interweb trek

where no nerd has gone before...

Developer tools unleashed

, ,

Allas ! The wish of many developers and Opera fans was partially fulfilled ! Real developer tools officially supported in Opera :yes:
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. :yes:

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 ? :right: 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 ! :yes: :hat:

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

Comments

avatar
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? ;-)

By olli, # 3. February 2007, 14:30:03

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

By shoust, # 3. February 2007, 19:09:36

avatar
button this is the button for toolbar :D


button this is the button for toolbar, (bookmarklet for userJS) :D

By Nexus009, # 4. February 2007, 15:10:12

avatar

Originally posted by olli:

Well you are atleast not worse off then before we added this feature are you? ;-)
Never p: The cache isn't eternal, and here's the tipical delay of loading the script.

By xErath, # 5. February 2007, 03:17:02

avatar
Add devfiles.myopera.com in opera:config#OEM|NeverFlushTrustedServers list? P:

By shoust, # 5. February 2007, 16:11:37

avatar
Allas ! The wish of many developers and Opera fans was partially fulfilled ! Real developer tools officially supported in Opera


:yes:

By AyushJ, # 18. March 2007, 06:28:29

Write a comment

You must be logged in to write a comment. if you're not a registered member, please sign up.