From 15c0e287da7c25b553e6ac20df25fb44d8dba332 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Tue, 20 Oct 2015 19:03:10 +0530 Subject: [PATCH] Prevent text selection in top bar --- src/pyj/book_list/top_bar.pyj | 2 +- src/pyj/dom.pyj | 3 ++- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/src/pyj/book_list/top_bar.pyj b/src/pyj/book_list/top_bar.pyj index 68aab8cd42..16b54bd3ef 100644 --- a/src/pyj/book_list/top_bar.pyj +++ b/src/pyj/book_list/top_bar.pyj @@ -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') diff --git a/src/pyj/dom.pyj b/src/pyj/dom.pyj index e93a8d9d3b..ae7a8338ca 100644 --- a/src/pyj/dom.pyj +++ b/src/pyj/dom.pyj @@ -2,7 +2,6 @@ # License: GPL v3 Copyright: 2015, Kovid Goyal 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):