get_double_click_time
Description:
[ Version ( deprecated = true ,  deprecated_since = "1.4" ,  since = "0.4" ) ]
public uint get_double_click_time ()
  public uint get_double_click_time ()
Warning: get_double_click_time is deprecated since 1.4.
Gets the maximum time between two button press events, as set by set_double_click_time.
Note: 
      
        
    
    Use double_click_time instead
Parameters:
| this | a Backend | 
Returns:
| a time in milliseconds |