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;
|
2021-04-08 10:53:21 +03:00
|
|
|
// Read only
|
|
|
|
hangingChars: number | null;
|
|
|
|
firstLineChars: number | null;
|
2020-02-27 20:12:36 +02:00
|
|
|
};
|