Piro / YUKI Hiroshi 2018b2063e Apply new size of the tab bar specified at the configuration dialog, for all windows		2015-09-29 04:50:16 +09:00
..
preferences	Apply new size of the tab bar specified at the configuration dialog, for all windows	2015-09-29 04:50:16 +09:00