Fix data type in debounced decorator

As `default_timer()` returns float, explicit conversion to int is required
to avoid incompatibility with ST API.

Author: deathaxe

latextools/utils/decorators.py

@@ -66,7 +66,7 @@ def _debounced_callback(view, callback):
             if not view.is_valid():
                 del call_at[view.view_id]
                 return
-            diff = call_at[view.view_id] - default_timer() * 1000
+            diff = call_at[view.view_id] - int(default_timer() * 1000)
             if diff > 0:
                 set_timeout(partial(_debounced_callback, view, callback), diff)
             else:
@@ -77,7 +77,7 @@ def _debounced_callback(view, callback):
         def wrapper(self, *args, **kwargs):
             view = self.view if hasattr(self, 'view') else args[0]
             pending = view.view_id in call_at
-            call_at[view.view_id] = default_timer() * 1000 + delay_in_ms
+            call_at[view.view_id] = int(default_timer() * 1000) + delay_in_ms
             if pending:
                 return
             callback = partial(func, self, *args, **kwargs)