old_contents: import sys
  import time
  
  from github import Github
  from prompt_toolkit import prompt, AbortAction
  from prompt_toolkit.auto_suggest import AutoSuggestFromHistory
  from prompt_toolkit.contrib.completers import WordCompleter
  from prompt_toolkit.history import FileHistory
  from pygments.lexers.sql import SqlLexer
  
  import definition
  import parser
  import tokenizer
  
  
  class SQLGitHub:
      """Meta Component for SQLGitHub."""
  
      _PROMPT_STR = u"SQLGitHub> "
  
      def __init__(self, token):
          self._github = Github(token)
          self._parser = parser.SgParser(self._github)
          self._completer = WordCompleter(definition.ALL_TOKENS,
                                          ignore_case=True)
  
      def Execute(self, sql, measure_time=True):
          if not sql:
              return
          if measure_time:
              start_time = time.time()
          tokens = tokenizer.SgTokenizer.Tokenize(sql)
          try:
              session = self._parser.Parse(tokens)
          except NotImplementedError:
              sys.stderr.write("Not implemented command tokens in SQL.\n")
          except SyntaxError:
              sys.stderr.write("SQL syntax incorrect.\n")
          except AttributeError:
              sys.stderr.write("One or more of the specified fields doesn't exist.\n")
          else:
              result = session.Execute()
              print(result)
              print("-")
              print("Total rows: %d" % (len(result)))
              if measure_time:
                  print("Total execution time: %.3fs" % (time.time() - start_time))
          
  
      def Start(self):
          while True:
              sql = prompt(self._PROMPT_STR,
                           history=FileHistory("history.txt"),
                           auto_suggest=AutoSuggestFromHistory(),
                           completer=self._completer,
                           lexer=SqlLexer,
                           on_abort=AbortAction.RETRY)
              if sql.lower() in definition.EXIT_TOKENS:
                  break
              self.Execute(sql)
  
new_contents: import sys
  import time
  
  from github import Github
  from prompt_toolkit import prompt, AbortAction
  from prompt_toolkit.auto_suggest import AutoSuggestFromHistory
  from prompt_toolkit.contrib.completers import WordCompleter
  from prompt_toolkit.history import FileHistory
  from prompt_toolkit.styles import style_from_pygments
  from pygments.lexers.sql import SqlLexer
  from pygments.styles.monokai import MonokaiStyle
  
  import definition
  import parser
  import tokenizer
  
  
  class SQLGitHub:
      """Meta Component for SQLGitHub."""
  
      _PROMPT_STR = u"SQLGitHub> "
  
      def __init__(self, token):
          self._github = Github(token)
          self._parser = parser.SgParser(self._github)
          self._completer = WordCompleter(definition.ALL_TOKENS,
                                          ignore_case=True)
          self._style = style_from_pygments(MonokaiStyle)
  
      def Execute(self, sql, measure_time=True):
          if not sql:
              return
          if measure_time:
              start_time = time.time()
          tokens = tokenizer.SgTokenizer.Tokenize(sql)
          try:
              session = self._parser.Parse(tokens)
          except NotImplementedError:
              sys.stderr.write("Not implemented command tokens in SQL.\n")
          except SyntaxError:
              sys.stderr.write("SQL syntax incorrect.\n")
          except AttributeError:
              sys.stderr.write("One or more of the specified fields doesn't exist.\n")
          else:
              result = session.Execute()
              print(result)
              print("-")
              print("Total rows: %d" % (len(result)))
              if measure_time:
                  print("Total execution time: %.3fs" % (time.time() - start_time))
          
  
      def Start(self):
          while True:
              sql = prompt(self._PROMPT_STR,
                           history=FileHistory("history.txt"),
                           auto_suggest=AutoSuggestFromHistory(),
                           completer=self._completer,
                           lexer=SqlLexer,
                           style=self._style,
                           on_abort=AbortAction.RETRY)
              if sql.lower() in definition.EXIT_TOKENS:
                  break
              self.Execute(sql)
  
subject: Change prompt style to monokai