-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
File explorer list does not scroll
bugSomething isn't workingSomething isn't workingStatus: Open.#322 In flyingrobots/jedit;Decide whether the :e picker and the Ctrl+B explorer should be one experience
questionFurther information is requestedFurther information is requestedStatus: Open.#319 In flyingrobots/jedit;Settings drawer covers the surface it configures
enhancementNew feature or requestNew feature or requestStatus: Open.#318 In flyingrobots/jedit;"Dim the gutter" setting appears to do nothing
bugSomething isn't workingSomething isn't workingStatus: Open.#317 In flyingrobots/jedit;Echo error when running command-line commands
bugSomething isn't workingSomething isn't workingStatus: Open.#316 In flyingrobots/jedit;Highlighting a file in the picker overwrites the open document title
bugSomething isn't workingSomething isn't workingStatus: Open.#315 In flyingrobots/jedit;Mouse wheel should scroll the active viewport
enhancementNew feature or requestNew feature or requestStatus: Open.#314 In flyingrobots/jedit;Clicking a file in the explorer should open it
enhancementNew feature or requestNew feature or requestStatus: Open.#313 In flyingrobots/jedit;File explorer selection should wrap around at both ends
enhancementNew feature or requestNew feature or requestStatus: Open.#312 In flyingrobots/jedit;Arrow keys do not navigate the Ctrl+B file explorer
bugSomething isn't workingSomething isn't workingStatus: Open.#311 In flyingrobots/jedit;Decision: should the jedit stack be pure Rust rather than Node + TypeScript?
questionFurther information is requestedFurther information is requestedStatus: Open.#310 In flyingrobots/jedit;Audit every jedit theme for legibility
bugSomething isn't workingSomething isn't workingStatus: Open.#309 In flyingrobots/jedit;