2023-03-31 23:25:20 +02:00
|
|
|
CREATE TYPE "TextEditorMode" AS ENUM (
|
2021-04-25 11:31:52 +02:00
|
|
|
'md_only',
|
|
|
|
'rte_only',
|
|
|
|
'mixed'
|
|
|
|
);
|
|
|
|
|
|
|
|
CREATE TABLE IF NOT EXISTS user_settings
|
|
|
|
(
|
|
|
|
id serial not null unique primary key,
|
|
|
|
user_id int references users (id) not null,
|
2023-03-31 23:25:20 +02:00
|
|
|
text_editor_mode "TextEditorMode" DEFAULT 'md_only' NOT NULL
|
2021-04-25 11:31:52 +02:00
|
|
|
);
|