|
|
@@ -120,6 +120,7 @@ export function Session() {
|
|
|
const [showTimestamps, setShowTimestamps] = createSignal(kv.get("timestamps", "hide") === "show")
|
|
|
const [usernameVisible, setUsernameVisible] = createSignal(kv.get("username_visible", true))
|
|
|
const [showDetails, setShowDetails] = createSignal(kv.get("tool_details_visibility", true))
|
|
|
+ const [showScrollbar, setShowScrollbar] = createSignal(kv.get("scrollbar_visible", false))
|
|
|
const [diffWrapMode, setDiffWrapMode] = createSignal<"word" | "none">("word")
|
|
|
|
|
|
const wide = createMemo(() => dimensions().width > 120)
|
|
|
@@ -494,6 +495,20 @@ export function Session() {
|
|
|
dialog.clear()
|
|
|
},
|
|
|
},
|
|
|
+ {
|
|
|
+ title: "Toggle session scrollbar",
|
|
|
+ value: "session.toggle.scrollbar",
|
|
|
+ keybind: "scrollbar_toggle",
|
|
|
+ category: "Session",
|
|
|
+ onSelect: (dialog) => {
|
|
|
+ setShowScrollbar((prev) => {
|
|
|
+ const next = !prev
|
|
|
+ kv.set("scrollbar_visible", next)
|
|
|
+ return next
|
|
|
+ })
|
|
|
+ dialog.clear()
|
|
|
+ },
|
|
|
+ },
|
|
|
{
|
|
|
title: "Page up",
|
|
|
value: "session.page.up",
|
|
|
@@ -840,9 +855,9 @@ export function Session() {
|
|
|
</Show>
|
|
|
<scrollbox
|
|
|
ref={(r) => (scroll = r)}
|
|
|
- scrollbarOptions={{
|
|
|
- paddingLeft: 2,
|
|
|
- visible: false,
|
|
|
+ verticalScrollbarOptions={{
|
|
|
+ paddingLeft: 1,
|
|
|
+ visible: showScrollbar(),
|
|
|
trackOptions: {
|
|
|
backgroundColor: theme.backgroundElement,
|
|
|
foregroundColor: theme.border,
|