Andrii Kolomoiets

Hi! With (awesome) jedi 0.18.0: ``` $ python Python 3.7.9 (default, Sep 9 2020, 00:09:07) [Clang 11.0.3 (clang-1103.0.32.62)] on darwin Type "help", "copyright", "credits" or "license" for more information. >>>...

Don't include params notations in snippet

1

Related PR: https://github.com/palantir/python-language-server/pull/701 `/` and `*` in parameters list are not parameters but notations. See [PEP570](https://www.python.org/dev/peps/pep-0570/#syntax-and-semantics).

Show completions with and without params

4

In some cases I don't want completion with snippets: ```python class Foo(object): def __init__(self, a, b, c): pass class Bar(Foo| ``` ```python from datetime import date, datetime if foo: fn...

Play last played track after stop

1

Is it posible to play last played song instead of first one on playlist after ```stop``` command? Like ```mpc toggle``` does.

App crashes on fast song switching

4

Rapidly pressing next/previuous button (media keys or popup window buttons) causes app to crash.

Feature request: song progress bar

2

Hi! It would be nice to have song progress bar inside popup window to seek to specific song position. Thanks!

Is it possible to send `didOpen` after `didChangeConfiguration`? Server receive `didOpen` and publish diagnostics, then it receive `didChangeConfiguration` with some linter options and must recalculate diagnostics for early opened file....

Ability to change DesktopEntry

2

It looks like DesktopEntry is used by clients to launch proper application. For example, [your awesome GS extension](https://github.com/eonpatapon/gnome-shell-extensions-mediaplayer) does that. So there must be the option to specify DesktopEntry, not...