massive update, probably broken
[dotfiles/.git] / .config / coc / extensions / node_modules / coc-pyright / node_modules / pyright / dist / typeshed-fallback / stubs / Pygments / pygments / formatters / img.pyi
1 from typing import Any
2
3 from pygments.formatter import Formatter
4
5 class PilNotAvailable(ImportError): ...
6 class FontNotFound(Exception): ...
7
8 class FontManager:
9     font_name: Any
10     font_size: Any
11     fonts: Any
12     encoding: Any
13     def __init__(self, font_name, font_size: int = ...) -> None: ...
14     def get_char_size(self): ...
15     def get_text_size(self, text): ...
16     def get_font(self, bold, oblique): ...
17
18 class ImageFormatter(Formatter):
19     name: str
20     aliases: Any
21     filenames: Any
22     unicodeoutput: bool
23     default_image_format: str
24     encoding: str
25     styles: Any
26     background_color: str
27     image_format: Any
28     image_pad: Any
29     line_pad: Any
30     fonts: Any
31     line_number_fg: Any
32     line_number_bg: Any
33     line_number_chars: Any
34     line_number_bold: Any
35     line_number_italic: Any
36     line_number_pad: Any
37     line_numbers: Any
38     line_number_separator: Any
39     line_number_step: Any
40     line_number_start: Any
41     line_number_width: Any
42     hl_lines: Any
43     hl_color: Any
44     drawables: Any
45     def __init__(self, **options) -> None: ...
46     def get_style_defs(self, arg: str = ...) -> None: ...
47     def format(self, tokensource, outfile) -> None: ...
48
49 class GifImageFormatter(ImageFormatter):
50     name: str
51     aliases: Any
52     filenames: Any
53     default_image_format: str
54
55 class JpgImageFormatter(ImageFormatter):
56     name: str
57     aliases: Any
58     filenames: Any
59     default_image_format: str
60
61 class BmpImageFormatter(ImageFormatter):
62     name: str
63     aliases: Any
64     filenames: Any
65     default_image_format: str