diff --git a/README.md b/README.md index a948c9525bd314bb81f1339341945732311542d2..c4b2027ae986dd3cb0bc141a224be1b63fd6583b 100644 --- a/README.md +++ b/README.md @@ -96,7 +96,7 @@ TermLayout is _not_ a Web browser: it has no facilities for navigating links. It If you are using TermLayout with an annotator generated by Annotator Generator, you might also be interested in `tmux-annotator.sh` which sets up tmux with a “hotkey†to annotate the current screen and display the result in TermLayout. -Options for Web Adjuster v0.2796 +Options for Web Adjuster v0.2797 ============ General options diff --git a/adjuster.py b/adjuster.py index 92541a0f82375419b70d591e2bb1a03fca71bd87..b4cf2290ace017c6e5f9d584b288dc7820d9f0d7 100644 --- a/adjuster.py +++ b/adjuster.py @@ -1,6 +1,6 @@ #!/usr/bin/env python2 -program_name = "Web Adjuster v0.2796 (c) 2012-19 Silas S. Brown" +program_name = "Web Adjuster v0.2797 (c) 2012-19 Silas S. Brown" # Licensed under the Apache License, Version 2.0 (the "License"); # you may not use this file except in compliance with the License. @@ -3354,7 +3354,7 @@ document.write('<a href="javascript:location.reload(true)">refreshing this page< elif txt[0]=='j': return self.serve_bookmarklet_json(filterNo) elif txt[0]=='u': return self.serve_backend_post(filterNo) elif txt[0] in 'iap': - return self.doResponse2(htmlhead()+android_ios_instructions(txt[0],self.request.host,self.request.headers.get("User-Agent","")),"noFilterOptions",False) + return self.doResponse2(htmlhead()+android_ios_instructions(txt[0],self.request.host,self.request.headers.get("User-Agent",""),filterNo),"noFilterOptions",False) txt = zlib.decompressobj().decompress(base64.b64decode(txt),16834) # limit to 16k to avoid zip bombs (limit is also in the compress below) self.request.uri = "%s (input not logged, len=%d)" % (options.submitPath,len(txt)) else: txt = self.request.arguments.get("i",None) @@ -4575,16 +4575,16 @@ def addRubyScript(): return r"""all_frames_docs(function(d) { if(d.rubyScriptAdded==1 || !d.body) return; var e=d.createElement('span'); e.innerHTML="%s"; d.body.insertBefore(e,d.body.firstChild); e=d.createElement('span'); e.innerHTML="%s"; d.body.appendChild(e); d.rubyScriptAdded=1 });""" % (quote_for_JS_doublequotes(rScript),quote_for_JS_doublequotes(rubyEndScript)) -def android_ios_instructions(pType,reqHost,ua): +def android_ios_instructions(pType,reqHost,ua,filterNo): # Android or iOS instructions for adding bookmarklet # (pType: a=Android i=iPhone p=iPad) # (Similar technique does NOT work in Opera Mini 5.1.21594 or Opera Mobile 10.00 (both 2010) on Windows Mobile 6.1: can end up with a javascript: bookmark but it has no effect when selected) theSys = {"i":"iPhone","p":"iPad","a":"Android"}[pType] title = None if '#' in options.htmlFilter: - fNames=options.htmlFilterName.split('#') - if filterNo+1 < len(fNames): - title=fNames[filterNo+1] + fNames=options.htmlFilterName.split('#') + if filterNo+1 < len(fNames): + title=fNames[filterNo+1] elif options.htmlFilterName: title=options.htmlFilterName if title: title += " on current page" # because page won't be visible while choosing bookmarks, unlike on desktops