All pull requests

Pull requests

• Use the edit_settings command

  #928·gwelch-contegix opened Aug 12, 2022·

  ·

• local_worker: Increase timeout for get_socket_timeout() call.

  #903·jdmuir opened Aug 7, 2021·

  ·

• Adds linting messages on line hover to anaconda. Resolves #862

  #864·Kyu opened May 27, 2020·

  ·
  1

  11

• Pipfile support and slow settings cache

  #720·hyperknot opened Oct 27, 2017·

  ·
  8

• fix for disable_linting appending without check

  #699·vindolin opened Sep 12, 2017·

  ·
  4

• Python context menu

  #684·evandrocoan opened Aug 5, 2017·

  ·
  3