View Issue Details
ID | Project | Category | View Status | Date Submitted | Last Update |
---|---|---|---|---|---|
0002972 | Plugins | Colorer | public | 2015-03-24 22:44 | 2019-02-22 08:17 |
Reporter | enot | Assigned To | |||
Priority | normal | Severity | minor | Reproducibility | always |
Status | closed | Resolution | fixed | ||
Platform | x64 | OS | Windows | OS Version | 8 |
Product Version | 3.0 | ||||
Summary | 0002972: Colorer начинает работать только после дополнительных нажатий | ||||
Description | Если открыть far и выбрать какой-нибудь файл (например, changelog), открыть его, то весь текст будет одного цвета. Если же подвинуть курсор или закрыть/открыть, то colorer просыпается и сразу же все раскрашивает. Но вот сразу после запуска есть такой баг. | ||||
Additional Information | Проверял на самой последней ночной сборке(30b-4323) | ||||
Tags | No tags attached. | ||||
|
Причина: zg 15.03.2015 03:02:46 +0200 - build 4305 1. в ProcessEditorInput не посылаются псевдоклавиши KEY_IDLE и KEY_NONE. Обсуждение: http://forum.farmanager.com/viewtopic.php?p=128666#p128666 |
|
4323, 4326, чистый профиль, стандартные плагины, не воспроизводится. |
|
Важно чтобы файл был достаточно большой. У меня на changelog воспроизводится, если открыть, и перейти сразу в конец. |
|
про переход в конец самому догадаться надо было? в любом случае это не проблемы фара. рапортовать надо в раздел колорера. |
|
Исправлено в ночных сборках (>=5356) |
Date Modified | Username | Field | Change |
---|---|---|---|
2015-03-24 22:44 | enot | New Issue | |
2015-03-26 11:02 | JohnDoe | Note Added: 0013594 | |
2015-03-27 13:33 | zg | Note Added: 0013597 | |
2015-03-27 14:19 | JohnDoe | Note Added: 0013598 | |
2015-03-27 14:27 | zg | Note Added: 0013599 | |
2015-03-28 07:12 | 2useven10 | Relationship added | child of 0002208 |
2015-03-28 07:18 | 2useven10 | Relationship deleted | child of 0002208 |
2017-11-11 15:26 | JohnDoe | Project | Far Manager => Plugins |
2017-11-11 15:26 | JohnDoe | Category | Editor => General |
2017-11-11 15:32 | JohnDoe | Category | General => Colorer |
2018-11-15 09:54 | JohnDoe | Relationship added | has duplicate 0003260 |
2019-01-24 07:10 | JohnDoe | Relationship added | has duplicate 0003696 |
2019-01-24 07:12 | JohnDoe | Note Added: 0016431 | |
2019-02-22 08:17 | JohnDoe | Status | new => closed |
2019-02-22 08:17 | JohnDoe | Resolution | open => fixed |