Micro/Juandev/Problémy

Zde se shromažďují a řeší problémy sw Micro. Můžete je klidně vyřešit.

Č. Problém Hypotéza Zápis řešení
P1 Mezi editory nejde kopírovat text. Kopíruje se starý text, možnost kopírovat je šedá, nedá se vybrat. Micro neumožňuje kopírovat mezi vícero okny. Možná mi chybí nástroj xclip jak se píše v nápovědě. Zjišťuji, že xclip mám. Takže sem to zadal jako bug a uvidíme co se stane.

Tak jako koukám, že se vydaly nějaké nové verze, nicméně nejsou zabalíčkované ani pro apt ani pro snap a musel bych studovat, jak si je sám zkompilovat, takže se asi na celé Micro vykašlu a zkusím Pluma. Holt nebudem v command line.

2 Co znamená hláška Pasted clipboard?
3 Jak se posouvat mezi vícero nalazenými výsledky hledání?
4 Nejde přepínat mezi jednotlivými výsledky vyhledávání.