public marks

PUBLIC MARKS from decembre with tags dev & Request

2018

CSS - FirePath :: Reviews :: Add-ons for Firefox

An alternative or Update ? Rated 5 out of 5 stars by decembre on Feb. 21, 2018 ยท permalink When i write an Userstyle it is (was) the primary tool i use with Firebug. Now i search an alternative for this great tool: The devtool don't give us the possibility to search or test a specific CSS selector like Firepath do. And in an other hand the DevTool is less useful than Firebug (it don't give an easy way to identify in which userstyle a CSS rule is - with an human reading way)

2017

JAVASCRIPT - How do I include a JavaScript file in another JavaScript file? - Stack Overflow

Is there something in JavaScript similar to @import in CSS that allows you to include a JavaScript file inside another JavaScript file?

USERSTYLES - Greasemonkey - Forum request 2006 - GreaseMonkey List - User scripts on userstyles.org

(via)
I'm the administrator of userstyles.org. I want to start offering my styles to Greasemonkey (and similar) users. For applicable styles on userstyles.org, just plunk "/style.user.js" at the end of the URL. (For example, http://userstyles.org/style/show/242/style.user.js ). Not all styles on the site can be converted into user scripts. For example, those affecting chrome wouldn't work. Those styles will return a 404 if you try to open their styles. I'd like some feedback on the format I'm using. Is the code the best it can be, are there problems with meta-data, etc. Thanks.

2009

Modify Headers - Modify and filter http request headers - Extension Firefox

Add, modify and filter http request headers. You can modify the user agent string, add headers to spoof a mobile request (e.g. x-up-calling-line-id) and much more. Take a look at the help tab of the Modify Headers window...