Prevent text selection in top bar

This commit is contained in:
Kovid Goyal 2015-10-20 19:03:10 +05:30
parent 363d6900aa
commit 15c0e287da
2 changed files with 3 additions and 2 deletions

View File

@ -31,7 +31,7 @@ class TopBar:
bar.appendChild(E.style(style, type='text/css'))
set_css(bar,
width='100%', display='table', font_size=get_font_size('title'),
padding_top='0.5ex', padding_bottom='0.5ex',
padding_top='0.5ex', padding_bottom='0.5ex', user_select='none',
color=get_color('bar-foreground'), background_color=get_color('bar-background'))
document.body.appendChild(bar)
set_css(bar.firstChild, padding_left='0.5em')

View File

@ -2,7 +2,6 @@
# License: GPL v3 Copyright: 2015, Kovid Goyal <kovid at kovidgoyal.net>
simple_vendor_prefixes = {
'transform': v"['webkit', 'ms', 'moz', 'o']",
'animation': v"['webkit', 'moz', 'o']",
'animation-name': v"['webkit', 'moz', 'o']",
'animation-duration': v"['webkit', 'moz', 'o']",
@ -12,6 +11,8 @@ simple_vendor_prefixes = {
'animation-direction': v"['webkit', 'moz', 'o']",
'animation-fill-mode': v"['webkit', 'moz', 'o']",
'animation-play-state': v"['webkit', 'moz', 'o']",
'transform': v"['webkit', 'ms', 'moz', 'o']",
'user-select': v"['webkit', 'moz', 'ms']",
}
def set_css(elem, **kw):