Opera Preferences version 2.0 ; Do not edit this file while Opera is running ; This file is stored in UTF-8 encoding [INFO] NAME=GT500's Minimalist Toolbar Setup [Browser Toolbar.alignment] Alignment=2 Auto alignment=0 Old visible alignment=2 Collapse=1 [Personalbar.alignment] Alignment=2 Auto alignment=0 Old visible alignment=2 Collapse=1 [Pagebar Head.content] [Pagebar Tail.content] Button0, "Normal"="Zoom to, 100, , "Normal", "Zoom"" Button1, "Hide Opera (aka Boss button!)"="Hide opera, , , "Hide Opera (aka Boss button!)", "Window Browser Icon"" Button2, "Close All"="Close all, , , "Close All", "Caption Close"" Button3, 69384="Show popup menu, "Closed Pages Menu", , , "Trash"" [Document View Toolbar.alignment] Alignment=0 Auto alignment=0 Old visible alignment=2 Collapse=1 [Hotlist Panel Selector.content] Bookmarks Notes, 1 Contacts, 2 Transfers, 3 History, 4 Links, 5 Search, 6 Windows, 7 Chat, 8 Info, 10 [Site Navigation Toolbar.alignment] Alignment=2 Auto alignment=1 Old visible alignment=2 Collapse=1 [Customize Toolbar Custom.content] Edit0="Search, "http://www.imdb.com/find?q=%s", , "Internet Movie Database"" Edit1="Search, "http://en.wikipedia.org/wiki/%s", , "Wikipedia Search"" Edit2="Search, "http://dictionary.reference.com/search?q=%s", , "Dictionary.com"" Button3, "Highlight"="Go to page, "javascript: (function(){var count=0,text,dv;text=prompt('Search phrase:','');if(text==null || text.length==0)return;dv=document.defaultView;function searchWithinNode(node,te,len){var pos,skip,spannode,middlebit,endbit,middleclone;skip=0;if(node.nodeType==3){pos=node.data.toUpperCase().indexOf(te);if(pos>=0){spannode=document.createElement('SPAN');spannode.style.backgroundColor='yellow';middlebit=node.splitText(pos);endbit=middlebit.splitText(len);middleclone=middlebit.cloneNode(true);spannode.appendChild(middleclone);middlebit.parentNode.replaceChild(spannode,middlebit);++count;skip=1;}}else if(node.nodeType==1&& node.childNodes && node.tagName.toUpperCase()!='SCRIPT' && node.tagName.toUpperCase!='STYLE'){for (var child=0;child=0){spannode=document.createElement('SPAN');spannode.style.backgroundColor='yellow';middlebit=node.splitText(pos);endbit=middlebit.splitText(len);middleclone=middlebit.cloneNode(true);spannode.appendChild(middleclone);middlebit.parentNode.replaceChild(spannode,middlebit);++count;skip=1;}}else if(node.nodeType==1&& node.childNodes && node.tagName.toUpperCase()!='SCRIPT' && node.tagName.toUpperCase!='STYLE'){for (var child=0;child