Skip to content

Unclear documentation to customize the history searcher in Julia 1.13 #60755

@eschnett

Description

@eschnett

I want to customize the history searcher in Julia 1.13. I want to change its colour scheme. The REPL documentation contains this section:

## Customising the history searcher

The history searcher uses the following default faces, that can be customised:

[REPL.History.search]
separator.fg  = "blue"
prefix.fg = "magenta"
selected.fg = "blue"
unselected.fg = "grey"
hint = { fg = "magenta", slant = "italic", weight ="light" }
results.inherit = "shadow"
match = { weight = "bold", underline = true }
  • I assume this is for the new interactive history searcher. Is that correct?
  • This is part of a toml file. Which file is this? The documentation mentions a file .julia/config/faces.toml in an earlier section – would it be the same file? (I don't think so, I tried this, but nothing happened.)
  • What do these settings mean? I can use the cursor keys to move up and down through matching history entries. Is that what "selected" means? If so, I don't see anything blue there. Instead, the selected line seems to be using inverse video.

Metadata

Metadata

Assignees

Labels

REPLJulia's REPL (Read Eval Print Loop)docsThis change adds or pertains to documentation

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions