|
cursor.rs
|
Decrease indentation with shift-tab
|
2021-05-02 20:09:11 +02:00 |
|
font.rs
|
Style tweaks (#450)
|
2021-06-12 15:53:56 +02:00 |
|
fonts.rs
|
Style tweaks (#450)
|
2021-06-12 15:53:56 +02:00 |
|
galley.rs
|
clippy fixes for rust 1.53
|
2021-06-22 23:38:34 +02:00 |
|
mod.rs
|
Decrease indentation with shift-tab
|
2021-05-02 20:09:11 +02:00 |
