Antonio Scandurra 3715ddfa74 Use Pixels instead of f32 for panel size

2023-12-22 18:26:33 +01:00

..

mappings

Fix a porting bugs for terminal2

2023-12-06 15:11:49 -08:00

terminal2.rs

Restore namespace parameter to actions!

2023-12-09 15:18:31 -07:00

terminal_settings.rs

Use Pixels instead of f32 for panel size

2023-12-22 18:26:33 +01:00