diff options
author | lovetox <philipp@hoerist.com> | 2022-08-20 15:11:20 +0300 |
---|---|---|
committer | lovetox <philipp@hoerist.com> | 2022-08-20 15:11:20 +0300 |
commit | 801bec063d8160a1c43cc2535562354379e7d2e3 (patch) | |
tree | 5bc514fbd7a3f91795fb9ca2476f861117bbab6b | |
parent | a0d690741d3ee71b392695861882364513ffafe1 (diff) |
cq: Update pyrightconfig.json
-rw-r--r-- | pyrightconfig.json | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/pyrightconfig.json b/pyrightconfig.json index bbfaa748c..04789979f 100644 --- a/pyrightconfig.json +++ b/pyrightconfig.json @@ -123,6 +123,7 @@ "gajim/gtk/util.py", "gajim/gtk/video_preview.py", "gajim/gtk/workspace_dialog.py", + "gajim/gtk/workspace_side_bar.py", "gajim/gtk/xml_console.py", "gajim/plugins/gajimplugin.py", "gajim/plugins/helpers.py", |