Improve last change to observe ggtags-global-window-height