2023-05-12 14:30:35 +02:00
|
|
|
import * as params from '@params';
|
|
|
|
|
|
2022-11-09 11:03:38 +01:00
|
|
|
export function setup_selectable () {
|
2023-05-12 14:30:35 +02:00
|
|
|
const selectable = params.selectable
|
|
|
|
|
if (!selectable) {
|
2022-11-09 11:03:38 +01:00
|
|
|
document.documentElement.style = 'user-select:none'
|
|
|
|
|
}
|
2021-10-28 18:19:57 +02:00
|
|
|
}
|
