2022-10-10(月) 曇りのち晴れ
_ 今日も普通に起きた
今朝も6時過ぎに起きた。休みの日としては早すぎるので録画していおいた番組を消化してから、部屋の掃除をやった。今日は、もうやるべきことは残っていない…
_ Bug-org 1625945 : Scrolling in tab bar to change tabs doesn't work when the scrollbox overflows (with toolkit.tabbox.switchByScrolling=true)
このバグ自体への興味というよりは、"toolkit.tabbox.switchByScrolling"を"true"にするとタブバー上でホイール・スクロールでタブを切り替えラルってことに気づいた。ってか、これってデフォルトで有効じゃないんだね。
Copyright (C) 2005-2012 by Hidenosuke. All rights reserved.
mailto: hidenosuke_at_hidenosuke_dot_org or hideo.oshima_at_gmail_dot_com