Moved extension source into chrome/ subdirectory; added utility script for subsetting Font Awesome
|
Before Width: | Height: | Size: 1.6 KiB After Width: | Height: | Size: 1.6 KiB |
|
Before Width: | Height: | Size: 206 B After Width: | Height: | Size: 206 B |
|
Before Width: | Height: | Size: 338 B After Width: | Height: | Size: 338 B |
|
Before Width: | Height: | Size: 1.4 KiB After Width: | Height: | Size: 1.4 KiB |
|
Before Width: | Height: | Size: 4.3 KiB After Width: | Height: | Size: 4.3 KiB |
|
Before Width: | Height: | Size: 1.3 KiB After Width: | Height: | Size: 1.3 KiB |
|
Before Width: | Height: | Size: 1.7 KiB After Width: | Height: | Size: 1.7 KiB |
|
Before Width: | Height: | Size: 2.2 KiB After Width: | Height: | Size: 2.2 KiB |
50
util/compute_FontAwesome_subset.php
Normal file
@ -0,0 +1,50 @@
|
|||||||
|
<?php
|
||||||
|
|
||||||
|
$directories = [
|
||||||
|
"./"
|
||||||
|
];
|
||||||
|
$files = [
|
||||||
|
"options.js",
|
||||||
|
"popup.js",
|
||||||
|
"options.css",
|
||||||
|
"popup.css",
|
||||||
|
"options.html",
|
||||||
|
"popup.html",
|
||||||
|
];
|
||||||
|
$additional_files = [
|
||||||
|
];
|
||||||
|
$characters = [ ];
|
||||||
|
|
||||||
|
function process_file($filename) {
|
||||||
|
if (!file_exists($filename))
|
||||||
|
return;
|
||||||
|
|
||||||
|
global $characters;
|
||||||
|
|
||||||
|
$contents = file_get_contents($filename);
|
||||||
|
|
||||||
|
preg_match_all('/&#x(.{4})/', $contents, $matches);
|
||||||
|
$characters = array_merge($characters, $matches[1]);
|
||||||
|
|
||||||
|
preg_match_all('/\\\(F.{3})/', $contents, $matches);
|
||||||
|
$characters = array_merge($characters, $matches[1]);
|
||||||
|
}
|
||||||
|
|
||||||
|
foreach ($directories as $directory) {
|
||||||
|
foreach ($files as $file) {
|
||||||
|
process_file($directory.$file);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
foreach ($additional_files as $file) {
|
||||||
|
process_file($file);
|
||||||
|
}
|
||||||
|
|
||||||
|
foreach ($characters as $key => $value) {
|
||||||
|
$characters[$key] = strtoupper($value);
|
||||||
|
}
|
||||||
|
$characters = array_unique($characters);
|
||||||
|
sort($characters);
|
||||||
|
echo implode(",",$characters);
|
||||||
|
echo "\n";
|
||||||
|
|
||||||
|
?>
|
||||||
5
util/generator_config.txt
Executable file
@ -0,0 +1,5 @@
|
|||||||
|
# Font Squirrel Font-face Generator Configuration File
|
||||||
|
# Upload this file to the generator to recreate the settings
|
||||||
|
# you used to create these fonts.
|
||||||
|
|
||||||
|
{"mode":"expert","formats":["ttf"],"tt_instructor":"keep","fix_vertical_metrics":"N","metrics_ascent":"","metrics_descent":"","metrics_linegap":"","fallback":"none","fallback_custom":"100","options_subset":"advanced","subset_custom":"","subset_custom_range":"F00D,F059,F05E,F08D,F128,F1DE,F2F1","subset_ot_features_list":"","css_stylesheet":"stylesheet.css","filename_suffix":"","spacing_adjustment":"0","rememberme":"Y"}
|
||||||