• Jeffrey Lee's avatar
    Add "extended scroll request" setting · eb5abd36
    Jeffrey Lee authored
    This adds an extra option to the window properties / window flags
    window, to control whether extended scroll requests are delivered to the
    window work area. Under the hood, this just toggles bit 1 of the window
    extra flags byte.
    
    Version 1.14. Tagged as 'WinEdit-1_14'
    eb5abd36
Messages 8.93 KB