Merge pull request #760 from tidalcycles/zen-fix

fix zen mode logo overlap
This commit is contained in:
Felix Roos 2023-10-27 23:06:20 +02:00 committed by GitHub
commit 248757ac3f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 2 additions and 3 deletions

View File

@ -46,7 +46,5 @@ export const cleanupUi = () => {
const container = document.getElementById('code'); const container = document.getElementById('code');
if (container) { if (container) {
container.style = ''; container.style = '';
// TODO: find a way to remove that duplication..
container.className = 'grow flex text-gray-100 relative overflow-auto cursor-text pb-0'; // has to match App.tsx
} }
}; };

View File

@ -127,6 +127,7 @@ export function Repl({ embedded = false }) {
isAutoCompletionEnabled, isAutoCompletionEnabled,
isLineWrappingEnabled, isLineWrappingEnabled,
panelPosition, panelPosition,
isZen,
} = useSettings(); } = useSettings();
const paintOptions = useMemo(() => ({ fontFamily }), [fontFamily]); const paintOptions = useMemo(() => ({ fontFamily }), [fontFamily]);
@ -322,7 +323,7 @@ export function Repl({ embedded = false }) {
</button> </button>
)} )}
<div className="grow flex relative overflow-hidden"> <div className="grow flex relative overflow-hidden">
<section className="text-gray-100 cursor-text pb-0 overflow-auto grow" id="code"> <section className={'text-gray-100 cursor-text pb-0 overflow-auto grow' + (isZen ? ' px-10' : '')} id="code">
<CodeMirror <CodeMirror
theme={currentTheme} theme={currentTheme}
value={code} value={code}