Aram Drevekenin b44ba85895 feat(plugins): optionally move plugin to focused tab (#2725) ... * feat(plugins): move_to_focused_tab attribute for LaunchOrFocusPlugin * style(fmt): rustfmt		2023-08-25 12:24:43 +02:00
..
tip	fix(ux): various ui/ux fixes (#2722)	2023-08-24 18:11:53 +02:00
first_line.rs	fix(ux): various ui/ux fixes (#2722)	2023-08-24 18:11:53 +02:00
main.rs	fix(ux): various ui/ux fixes (#2722)	2023-08-24 18:11:53 +02:00
second_line.rs	feat(plugins): optionally move plugin to focused tab (#2725)	2023-08-25 12:24:43 +02:00