Skip to content
Find file
Fetching contributors…
Cannot retrieve contributors at this time
95 lines (82 sloc) 2.54 KB
<!doctype html>
<title>AutoIE Preferences</title>
<meta charset="utf-8">
<link rel="stylesheet" href="css/options.css">
<script src="js/storage.js"></script>
<script src="js/options_page.js"></script>
<script src="js/default_settings.js"></script>
// Include storage.js and options_page.js, then create a SettingStorage
// object and call OptionsPage.init() with it as the only argument
<div id="viewport">
<div id="topbar"></div>
<div id="content">
<h1>AutoIE Preferences</h1>
<h3>Web Site List</h3>
<!-- By adding the "data-resets" attribute to a <button> or any clickable element,
you can create a button that resets a setting to its default value. -->
<label for="transform">to add another web site, please give a line break</label> <br>
<textarea name="transform" id="transform" rows="6" cols="50"
data-loadfunc="joinLines" data-savefunc="splitLines"></textarea>
AutoIE by <a href="" title="My Personal Page">Çağlar Yeşilyurt</a>.
<a href="">OperaExtOptions.js</a>, an open-source library by Joel Spadin.
</div><!-- #content -->
<!-- This script showcases some of the more advanced features. For most
options pages, you can safely ignore anything in this script -->
// Filter functions
function splitLines(data) {
if (!data)
data = '';
return data.replace("\r\n", "\n").split("\n").map(function(item) { return item.trim() });
function joinLines(data) {
if (!data)
data = [];
return { return item.trim() }).join("\n");
function scrollToElement(element) {
var y = 0;
while(element != null){
y += element.offsetTop;
element = element.offsetParent;
window.scrollTo(0, y);
// Debug code. Press ~ to show all objects stored in the web storage
// object used or update the list. Press Shift+~ to hide the list;
addEventListener('keypress', function(e) {
// List storage
if (e.keyCode == 96) {
var container = document.getElementById('storage_list');
container.innerHTML = '';
// Hide storage
else if (e.keyCode == 126) {
document.getElementById('storage_list').innerHTML = '';
}, false);
</div><!-- #viewport -->
Something went wrong with that request. Please try again.