Skip navigation.

web:config

tips and tricks for the interwebs

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

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

Nexus009 4. February 2007, 15:10

button this is the button for toolbar :D


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

xErath 5. February 2007, 03:17

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.

shoust 5. February 2007, 16:11

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

AyushJ 18. March 2007, 06:28

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



:yes:

supercoloring 9. November 2009, 16:36

man, thats sweet...

Write a comment

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

Download Opera, the fastest and most secure browser