d1f717eRe-request workspace symbols on keypress in pickerGokul Soumya4 years ago 914d294Add DynamicPicker for updating options on every keyGokul Soumya4 years ago c64debcAdd force_score() for scoring picker items without optimizationsGokul Soumya4 years ago db93980Improve error message handling for theme loading failures (#5073)Michael Davis4 years ago 012fc12Add Bash indents (#5149)gavincrawford4 years ago 436296bAdd Mermaid.js for markdown support (#5147)Erasin4 years ago 0f2ae35ci: Merge two jobsBlaž Hrastnik4 years ago e6fce86Use latest github runner imagesBlaž Hrastnik4 years ago 00092a2Use dtolnay/rust-toolchain in more placesBlaž Hrastnik4 years ago