«前の日記(2018-09-07 (Fri)) 最新 次の日記(2018-09-23 (Sun))»

ありし日の気分(改)

2002|05|06|07|08|09|10|11|12|
2003|01|02|03|04|05|06|07|08|09|10|11|12|
2004|01|02|03|04|05|06|07|08|09|10|11|12|
2005|01|02|03|04|05|06|07|08|09|10|11|12|
2006|01|02|03|04|05|06|07|08|09|10|11|12|
2007|01|02|03|04|05|06|07|08|09|10|11|12|
2008|01|02|03|04|05|06|07|08|09|10|11|12|
2009|01|02|03|04|05|06|07|08|09|10|11|12|
2010|01|02|03|04|05|06|07|09|10|11|12|
2011|01|02|03|04|05|06|07|10|11|12|
2012|02|03|04|07|10|11|12|
2013|01|02|03|04|05|06|07|08|09|10|11|12|
2014|12|
2015|05|06|
2018|02|03|08|09|12|
2019|10|
2018年
9月
1
2 3 4 5 6 7 8
9 10 11 12 13 14 15
16 17 18 19 20 21 22
23 24 25 26 27 28 29
30
昨日のカウンタ:
今日のカウンタ:

[RDF]

最近のトラックバック

2018-09-09 (Sun)

C101PAでFont Changer

フォントが大事だってことは でも度々書いてきました。ChromeOSで標準でインストールされているフォントが気に入らないので悩ましいところです。

これまではシステム一部書き換えでフォントを入れていました。でも、これ面倒なんですよね。いや、最初の1回だけならいいんだけど、OSのアップデートがある度にremove_rootfs_verification以降を全部やりなおしで。で、ChromeOSって頻繁に気付かぬ内にOSアップデートしてて、それ自身はメリットでもあるんだけど、その度に作業やりなおすの面倒で。あと、developer modeとも決別できないし。

という訳でFont Changer with Google Web Fontsです。Font Settings

これを使うとサイトまるごと、あるいは、全部のサイトのフォントを強制的に自分の好きなフォント*1に設定できます。「好きなサイト」って書き方したけど、ChromeOSは基本全部Chromeの中だから、ChromeOSのアプリ*2どれでもってことです。「Global Font」に設定すれば全部のサイト(全部のChromeアプリ)を好きなフォントに設定できます。サイトごとの設定も可能です。

Font Settingsを開いところにある「Edit Custom Fonts」というリンクをクリック(タップかな?)すると「Save New Font」というページが開き、ここで手持ちのttf, otf, woffファイルなどをアップロードでき*3ます。Save New Font

仕組みとしてはWebフォントにてフォントを(オンラインから)取得し、あとはページ内にあるCSSなどの情報をJavaScriptで書き換えているみたいです。これで書き換えられないのって、システムUI, shell, Androidアプリ, Linuxアプリぐらいなのかなと思いますが、Linuxアプリ使うのならcroshとかのshellは使わないし、Linuxは古(いにしえ)からの~/.fontsから設定すれば設定すればいい訳だしで、個人的にはこれで(OS一部書き換えたり頑張らなくても)困らないかなって思っています。

*1 手元にttfファイルがあればそれを使えます。

*2 AndroidアプリとかLinuxアプリは別だけど…

*3 私はttfしか試してないです。



C++でつくるUnreal Engineアプリ開発 for Windows & macOS  UE4でC++を使う方法を書いた本です。

«前の日記(2018-09-07 (Fri)) 最新 次の日記(2018-09-23 (Sun))»


2002|05|06|07|08|09|10|11|12|
2003|01|02|03|04|05|06|07|08|09|10|11|12|
2004|01|02|03|04|05|06|07|08|09|10|11|12|
2005|01|02|03|04|05|06|07|08|09|10|11|12|
2006|01|02|03|04|05|06|07|08|09|10|11|12|
2007|01|02|03|04|05|06|07|08|09|10|11|12|
2008|01|02|03|04|05|06|07|08|09|10|11|12|
2009|01|02|03|04|05|06|07|08|09|10|11|12|
2010|01|02|03|04|05|06|07|09|10|11|12|
2011|01|02|03|04|05|06|07|10|11|12|
2012|02|03|04|07|10|11|12|
2013|01|02|03|04|05|06|07|08|09|10|11|12|
2014|12|
2015|05|06|
2018|02|03|08|09|12|
2019|10|