Micro/Juandev/Problémy
Vzhled
< Micro
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í. |