projects
/
app.webkitpdf
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
9aed52d
)
BrowserWindow.vala
author
KH Lau
<khlau@roojs.com>
Fri, 9 Mar 2018 02:59:27 +0000
(10:59 +0800)
committer
KH Lau
<khlau@roojs.com>
Fri, 9 Mar 2018 02:59:27 +0000
(10:59 +0800)
BrowserWindow.vala
patch
|
blob
|
history
diff --git
a/BrowserWindow.vala
b/BrowserWindow.vala
index
6c54f19
..
0feb633
100644
(file)
--- a/
BrowserWindow.vala
+++ b/
BrowserWindow.vala
@@
-37,31
+37,31
@@
public class BrowserWindow : Object
});
this.el.show.connect( () => {
});
this.el.show.connect( () => {
-
print("resizing window\n");
-
var w = webkitpdf.opt_width > 0 ? webkitpdf.opt_width : 1200;
-
var h = webkitpdf.opt_height > 0 ? webkitpdf.opt_height : 500;
+ print("resizing window\n");
+ var w = webkitpdf.opt_width > 0 ? webkitpdf.opt_width : 1200;
+ var h = webkitpdf.opt_height > 0 ? webkitpdf.opt_height : 500;
-
this.el.resize(w,h);
+ this.el.resize(w,h);
-
// we have to do silly stuff with blogspot!!?!?
-
var blog = webkitpdf.opt_url;
+ // we have to do silly stuff with blogspot!!?!?
+ var blog = webkitpdf.opt_url;
-
/* Do not redirect if the domain is .com already */
-
if (/\.blogspot\.com/.match(blog)) {
+ /* Do not redirect if the domain is .com already */
+ if (/\.blogspot\.com/.match(blog)) {
var r = new Regex ("\\.blogspot\\..*?/");
blog = r.replace(blog, blog.length, 0, ".blogspot.com/ncr/");
var r = new Regex ("\\.blogspot\\..*?/");
blog = r.replace(blog, blog.length, 0, ".blogspot.com/ncr/");
-
}
+ }
-
if(webkitpdf.opt_cookies != null) {
+ if(webkitpdf.opt_cookies != null) {
print("setting cookie %s\n",webkitpdf.opt_cookies);
var uri = new Soup.URI (blog);
string[] cookies = webkitpdf.opt_cookies.split ("=", 2);
print("setting cookie %s\n",webkitpdf.opt_cookies);
var uri = new Soup.URI (blog);
string[] cookies = webkitpdf.opt_cookies.split ("=", 2);
- if(cookies.length >
=2
) {
+ if(cookies.length >
1
) {
#if GTK3
var context = WebKit.WebContext.get_default();
var cookie_manager = context.get_cookie_manager();
#if GTK3
var context = WebKit.WebContext.get_default();
var cookie_manager = context.get_cookie_manager();
@@
-107,10
+107,10
@@
public class BrowserWindow : Object
cd--;
print("timeout 25 seconds :%d", cd);
if (cd < 1) {
cd--;
print("timeout 25 seconds :%d", cd);
if (cd < 1) {
- print("calling printit - timed out");
- _this.view.printit();
+
print("calling printit - timed out");
+
_this.view.printit();
- return false;
+ return false;
}
return true;
}
return true;