[gedit-latex] Replace deprecated time.clock()

[Pietro Battiston <pbattiston src gnome org>]

commit 0cf04556eeb3f35084051d5ec98c345432a838fe
Author: Pietro Battiston <pbattiston src gnome org>
Date:   Thu Apr 16 17:57:27 2020 +0200

    Replace deprecated time.clock()

 latex/latex/editor.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/latex/latex/editor.py b/latex/latex/editor.py
index b1655ce..55b35a4 100644
--- a/latex/latex/editor.py
+++ b/latex/latex/editor.py
@@ -249,7 +249,7 @@ class LaTeXEditor(Editor, IIssueHandler):
             # reset issues
             self._issue_view.clear()
 
-            if BENCHMARK: t = time.clock()
+            if BENCHMARK: t = time.perf_counter()
 
             # parse document
             if self._document != None:
@@ -260,7 +260,7 @@ class LaTeXEditor(Editor, IIssueHandler):
             # update document preferences
             self._preferences.parse_content(self.content)
 
-            if BENCHMARK: LOG.info("LaTeXParser.parse: %f" % (time.clock() - t))
+            if BENCHMARK: LOG.info("LaTeXParser.parse: %f" % (time.perf_counter() - t))
 
             LOG.debug("Parsed %s bytes of content" % len(self.content))