javascript - Default File Name when printing from Internet Explorer -


when printing web page using pdf printer (saving page pdf), chrome , firefox both use pages <title> attribute default file name. however, internet explorer uses pages url.

is there way change functionality in internet explorer can control file name?

note: not talking showing url on header/footer of page, file name when attempting save local system.


Comments

Post a Comment

Popular posts from this blog

authentication - Mongodb revoke acccess to connect test database -

i have ec2 instance mongodb 3.2.0 installed. have user admin access. can connect user , perform operation remotely. 1 can connect database test remote if knows ip mongo 11.11.11.11. although not able make operations, want restrict access user credentials can connect server. first need create users , grant roles users, example: use admin db.createuser( { user: "myuseradmin", pwd: "abc123", roles: [ { role: "useradminanydatabase", db: "admin" } ] } ) then need start server --auth parameter mongod --auth more information here
Read more

python - GitPython: check if git is available -

gitpython depends on having command line version of git installed (otherwise, issue in question: oserror: [errno 2] no such file or directory on gitpython ). is there way gitpython api check if executable found, or, need wrap gitpython calls in exception handling account possibility? i don't particularly recommend this, did @ least once: try 1 git command while catching oserror case see if can run git (and running it, capture git version number well, in case). if git fails run, complain , disable further invocations of git (or exit or whatever). if not, assume further invocations continue work.
Read more

php - Extract Text from HTTP referer -

i using following code show referer link page on website. how can modify code shows part of link. i.e if website url www.example.com/?s=printing want extract printing. , should happen if format www.example.com/?s=aaa , not if format else www.example.com/printing. code: <?php session_start(); if ( !isset( $_session["origurl"] ) ) $_session["origurl"] = $_server["http_referer"]; echo $_session["origurl"] ?> i figured out , following code works: <?php session_start(); if ( !isset( $_session["origurl"] ) ) $_session["origurl"] = $_server["http_referer"]; $mysearchterm = $_server["http_referer"]; $whatiwant = substr($mysearchterm, strpos($mysearchterm, "=") +1); echo $whatiwant; ?>
Read more