2020-01-19 12:14:52 +00:00
|
|
|
// pastebin.run
|
2022-05-07 16:47:33 +00:00
|
|
|
// Copyright (C) 2022 Konrad Borowski
|
2020-01-19 12:14:52 +00:00
|
|
|
//
|
|
|
|
// This program is free software: you can redistribute it and/or modify
|
|
|
|
// it under the terms of the GNU Affero General Public License as published by
|
|
|
|
// the Free Software Foundation, either version 3 of the License, or
|
|
|
|
// (at your option) any later version.
|
|
|
|
//
|
|
|
|
// This program is distributed in the hope that it will be useful,
|
|
|
|
// but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
|
|
// GNU Affero General Public License for more details.
|
|
|
|
//
|
|
|
|
// You should have received a copy of the GNU Affero General Public License
|
|
|
|
// along with this program. If not, see <https://www.gnu.org/licenses/>.
|
|
|
|
|
2022-05-07 16:47:33 +00:00
|
|
|
import { Signal } from "solid-js";
|
2022-05-06 05:46:15 +00:00
|
|
|
|
2022-05-07 16:47:33 +00:00
|
|
|
export default function OptionsEditorType({
|
|
|
|
name,
|
|
|
|
identifier,
|
|
|
|
editorTypeSignal: [editor, setEditor],
|
|
|
|
}: {
|
|
|
|
name: string;
|
|
|
|
identifier: string;
|
|
|
|
editorTypeSignal: Signal<string>;
|
|
|
|
}) {
|
|
|
|
return (
|
|
|
|
<label>
|
|
|
|
<input
|
|
|
|
type="radio"
|
|
|
|
name="current-editor"
|
|
|
|
checked={identifier === editor()}
|
|
|
|
onChange={() => setEditor(identifier)}
|
|
|
|
/>
|
|
|
|
{` ${name}`}
|
|
|
|
</label>
|
|
|
|
);
|
2022-05-06 05:46:15 +00:00
|
|
|
}
|