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