2019-03-05(火) 今日は晴れ
_ 眠かった
昨晩は、なんだか眠りが浅くて、ちっとも寝た気がしなかった。それで、午後からはやけに眠くて困った。今日は、ぐっすりと眠れるとよいのだが。
_ Bug-org 1529713 : [Titlebar] Use Window manager decorations on GNOME again
パッチがmozilla-centralに投入されて、FIXEDになっていた。パッチ投入前後の違いは、よくわからないな。
[ツッコミを入れる]
Copyright (C) 2005-2012 by Hidenosuke. All rights reserved.
mailto: hidenosuke_at_hidenosuke_dot_org or hideo.oshima_at_gmail_dot_com