FWD » Core Development » User Interface

01/10/2023

09:00 AM Feature #7032 (New): implement the EDITOR:EMPTY attribute

Greg Shah

12/21/2022

10:35 AM Feature #6764: Improve trigger selection for keyboard events.

6764.08.patch checked in to 3821c revision 14462. Hynek Cihlar

10:06 AM Feature #6764: Improve trigger selection for keyboard events.

Yes, please go ahead. Greg Shah

10:05 AM Feature #6764: Improve trigger selection for keyboard events.

Code review 6764.08.patch. The changes look good. Can I merge it to 3821c? Hynek Cihlar