Project

General

Profile

« Previous | Next » 

Revision d6376582

IDd6376582943e306220f4d1989bae7ac0f23d6e7e
Parent 0bb64294
Child d5c1cfec

Added by Yan-Fa Li almost 10 years ago

Disable user-select for menu bar

Needing to cut and paste the text from a menubar isn't terribly useful
and makes the user experience unpleasant. Disable it.

Signed-off-by: Yan-Fa Li <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences