diff --git a/src/App.css b/src/App.css index c7ba580..e020242 100644 --- a/src/App.css +++ b/src/App.css @@ -31,8 +31,15 @@ html,body,#root{height:100%} body{ font-family:var(--font);color:var(--txt);background:var(--bg); -webkit-font-smoothing:antialiased;letter-spacing:.1px;overflow:hidden; + /* native-app feel: UI chrome text isn't selectable (this is not a web page) */ + -webkit-user-select:none;user-select:none;cursor:default; } button{font-family:var(--font)} +/* …but keep selection where copying/editing text is genuinely useful */ +input,textarea,[contenteditable="true"], +.code,.code-body,.code-edit,.termout,.termbody,.blame-body,.diff-body,.diff,.logbody,.explain-body{ + -webkit-user-select:text;user-select:text;cursor:auto; +} /* height divided by the zoom factor: CSS `zoom` shrinks the box but `vh` still measures the unzoomed viewport, so without this a gap grows below at zoom<1 */ @@ -172,7 +179,7 @@ body.resizing{cursor:col-resize!important;user-select:none} background:linear-gradient(145deg,var(--accent-2),var(--accent-deep));display:grid;place-items:center;flex:0 0 auto;box-shadow:0 0 8px rgba(124,110,246,.4)} .chk svg{width:10px;height:10px;color:#fff} .chk{cursor:pointer} -.chk.empty{background:transparent;border-color:var(--border);box-shadow:none} +.chk.off{background:transparent;border-color:var(--border);box-shadow:none} .crumb{display:flex;align-items:center;gap:4px;font-family:var(--mono);font-size:12px;flex-wrap:wrap} .crumb .seg{color:var(--accent-2);cursor:pointer}.crumb .seg:hover{text-decoration:underline} .crumb .sep{color:var(--faint)} diff --git a/src/App.tsx b/src/App.tsx index fb6dfdc..5e61fa4 100644 --- a/src/App.tsx +++ b/src/App.tsx @@ -1181,8 +1181,7 @@ function Workbench({ info, session, light, toggleTheme, lang, setLang, zoom, set )}