2020-02-27 20:12:36 +02:00
|
|
|
export type IndentJSON = {
|
2020-03-10 04:56:12 +02:00
|
|
|
start: number | null;
|
2020-02-27 20:12:36 +02:00
|
|
|
end: number | null;
|
|
|
|
|
specialIndent: {
|
|
|
|
|
type: "firstLine" | "hanging";
|
|
|
|
|
val: number;
|
|
|
|
|
} | null;
|
2020-03-10 04:56:12 +02:00
|
|
|
startChars: number | null;
|
2020-02-27 20:12:36 +02:00
|
|
|
};
|