Property change handling of hover window
The content of the hover can be general information of the definition based on the comments and AST info and source code peek. The content depends on a global property. The hover window content should be changed on-the-fly according to this property.