Running 'windows ekr dark theme' if I select a menu bar item, the text
displayed is not readable unless I place cursor over it. e.g. Help> about
Leo
the text is a very light grey on an even lighter background - no contrast
is the problem.
So from 'windows ekr dark theme'
this is the console output from the 'print-style-sheet' command:
** isPython3: True
Leo 5.4, build 20170309174318, Thu Mar 9 17:43:18 CST 2017
Git repo info: branch = master, commit = d1ca44fd68a5
Python 3.6.0, PyQt version 5.8.0
Windows 10 AMD64 (build 10.0.14393) SP0
style sheet for: <leo.plugins.qt_frame.LeoTabbedTopLevel object at
0x0000021856822A68>...
/* ===== From qt-gui-plugin-style-sheet ===== */
/*
@language css
windows leo_dark theme: a minor modification of leo_dark theme 0.
*/
/* ===== active pane highlighting ===== */
QTextEdit#log-widget,
LeoQTreeWidget#treeWidget,
QTextEdit#richTextEdit {
border-color: #073642;
border-style: solid;
border-width: 5px;
}
QTextEdit:focus#log-widget,
LeoQTreeWidget:focus#treeWidget,
QTextEdit:focus#richTextEdit {
border-color: red;
}
QTextEdit:hover#log-widget,
LeoQTreeWidget:hover#treeWidget,
QTextEdit:hover#richTextEdit {
border-color: @focused-border-hover-color;
}
/* ===== The body pane ===== */
QTextEdit#richTextEdit {
background-color: #002b36;
color: #839496;
font-family: DejaVu Sans Mono;
font-size: 14pt;
font-weight: normal; /* normal,bold,100,..,900 */
font-style: normal; /* normal,italic,oblique */
selection-color: #002b36;
selection-background-color: #b58900;
}
/* ===== bookmarks plugin styling ===== */
#show_bookmarks QPushButton {
margin: 0; padding: 1; border: none;
font-size: 11pt;
color: #839496;
font-weight: regular;
text-decoration: @bookmarks_base_decoration;
}
#show_bookmarks QPushButton[style_class~='bookmark_children'] {
font-size: ignore;
color: #839496;
font-weight: ignore;
text-decoration: underline;
}
#show_bookmarks QPushButton[style_class~='bookmark_expanded'] {
font-size: ignore;
color: #839496;
font-weight: bold;
text-decoration: underline;
}
#show_bookmarks QPushButton[style_class~='bookmark_current'] {
font-size: ignore;
color: #cb4b16;
font-weight: bold;
text-decoration: ignore;
}
/* ===== Buttons ===== */
QPushButton {
background: qlineargradient( x1:0 y1:0, x2:0 y2:1, stop:0.1 #073642,
stop:0.4 #002b36, stop:0.6 #002b36, stop:0.9 #073642);
color: #839496;
}
QPushButton:hover {
background: qlineargradient( x1:0 y1:0, x2:0 y2:1, stop:0.1 #657b83,
stop:0.4 #839496, stop:0.6 #839496, stop:0.9 #657b83);
color: #002b36;
}
/* ===== Log panes ===== */
QTextEdit#log-widget {
background-color: #073642;
color: #93a1a1;
font-family: DejaVu Sans Mono;
font-size: 14pt;
font-style: normal; /* normal, italic,oblique */
font-weight: normal; /* normal,bold,100,..,900 */
selection-background-color: blue;
selection-color: white;
}
/* ===== Menues ===== */
QMenu {
color: #eee8d5;
}
QMenu::item:selected {
color: #002b36;
background: qlineargradient( x1:0 y1:0, x2:0 y2:1, stop:0.1 #657b83,
stop:0.4 #839496, stop:0.6 #839496, stop:0.9 #657b83);
}
QMenuBar::item {
color: #839496;
background: qlineargradient( x1:0 y1:0, x2:0 y2:1, stop:0.1 #073642,
stop:0.4 #002b36, stop:0.6 #002b36, stop:0.9 #073642);
}
QMenuBar::item:selected {
color: #002b36;
background: qlineargradient( x1:0 y1:0, x2:0 y2:1, stop:0.1 #657b83,
stop:0.4 #839496, stop:0.6 #839496, stop:0.9 #657b83);
}
QMenuBar::item:pressed {
color: #eee8d5;
background: qlineargradient( x1:0 y1:0, x2:0 y2:1, stop:0.1 #073642,
stop:0.4 #002b36, stop:0.6 #002b36, stop:0.9 #073642);
}
/* ===== Mini-buffer ===== */
QLineEdit#lineEdit {
color: #b58900;
background-color: #002b36;
font-family: DejaVu Sans Mono;
font-size: 12pt;
font-weight: normal; /* normal,bold,100,..,900 */
font-style: normal; /* normal,italic,oblique */
selection-color: red;
selection-background-color: lightgrey;
}
QLabel#minibufferLabel {
color: #6c71c4;
}
QLineEdit#lineEdit[style_class ~= 'minibuffer_warning'] {
background-color: #073642;
}
QLineEdit#lineEdit[style_class ~= 'minibuffer_error'] {
color: #dc322f;
background-color: #073642;
}
/* ===== Status line ===== */
QLineEdit#status1,
QLineEdit#status2
{
background-color: #002b36;
border-color: #073642;
border-style: solid;
border-width: 1px;
}
/* ===== Scroll bars ===== */
QScrollBar::horizontal {
height: 7px;
}
QScrollBar::vertical {
width: 7px;
}
QScrollBar::add-page,
QScrollBar::sub-page {
background: #002b36;
}
QScrollBar::handle {
background: #586e75;
color: #586e75;
}
QScrollBar::handle:hover {
background: #839496;
color: #839496;
}
/* to make these show up, remove the ::handle style above... bug? */
QScrollBar::add-line,
QScrollBar::sub-line {
background: #586e75;
color: #586e75;
}
/* ===== Splitters ===== */
QSplitter::handle {
background-color: #586e75;
}
QSplitter::handle:hover {
background-color: #6c71c4;
}
/* ===== Tab bar ===== */
QTabBar::tab {
margin-right: 5px;
padding: 2px;
}
QTabBar::tab {
background: qlineargradient( x1:0 y1:0, x2:0 y2:1, stop:0.1 #073642,
stop:0.4 #002b36, stop:0.6 #002b36, stop:0.9 #073642);
color: #839496;
margin-right: 5px;
padding: 2px;
}
QTabBar::tab:selected {
color: #859900;
}
QTabBar::tab:hover {
background: qlineargradient( x1:0 y1:0, x2:0 y2:1, stop:0.1 #657b83,
stop:0.4 #839496, stop:0.6 #839496, stop:0.9 #657b83);
color: #002b36;
}
/* ===== Tree Widgets ===== */
QTreeWidget {
/* Selected items, but NOT edit items.*/
font-family: DejaVu Sans Mono;
font-size: 18pt;
font-weight: normal; /* normal,bold,100,..,900 */
font-style: normal; /* normal, italic,oblique */
}
QTreeWidget QLineEdit {
/* Headline edit widgets */
font-family: DejaVu Sans Mono;
font-size: 18pt;
font-weight: normal; /* normal,bold,100,..,900 */
font-style: normal; /* normal, italic,oblique */
}
QTreeWidget::selected {
background: #859900; color: #002b36;
}
QTreeWidget::active:selected {
background: #b58900; color: #002b36;
}
/* ===== Tree Views ===== */
QTreeView {
/* Selected items, but NOT edit items.*/
background-color: #002b36;
color: #839496;
selection-color: #cb4b16;
selection-background-color: #002b36;
show-decoration-selected: 0;
}
QTreeView QLineEdit {
/* Headline edit widgets */
color: #002b36;
background-color: #b58900;
selection-color: #fdf6e3;
selection-background-color: #268bd2;
}
QTreeView::item:selected {
background: #859900; color: #002b36;
}
QTreeView::item:active:selected {
background: #b58900; color: #002b36;
}
/* ===== widgets ===== */
QLabel {
color: #93a1a1;
}
QLineEdit {
border: none;
padding: 3px;
}
QPushButton, QDoubleSpinBox, QSpinBox, QDateEdit, QTimeEdit {
border: none;
margin-right: 5px;
padding: 3px;
}
QWidget {
background-color: #002b36;
border-color: #93a1a1;
color: #93a1a1;
font-size: 16px;
}
QWidget#body-text-renderer {
background-color: white;
color: black;
}
/* ===== Overrides of previoius settings ===== */
QTreeWidget QLineEdit {
font-family: 14pt;
}
QTreeWidget::selected {
background: #b58900;
}
QTreeWidget::active:selected {
background: #b58900;
}
QTreeView::item:selected {
background: #b58900;
}
QTreeView::item:active:selected {
background: #b58900;
}
[end]
On Friday, March 10, 2017 at 9:29:43 AM UTC+11, Edward K. Ream wrote:
>
> On Thu, Mar 9, 2017 at 3:29 PM, lewis <lewi...@operamail.com <javascript:>
> > wrote:
>
>> Sorry, which theme would you like me to run 'print-style-sheet' on?
>>
>
> Please use the new "@theme windows ekr dark theme" node instead. That has
> a much better chance of working.
>
> Edward
>
--
You received this message because you are subscribed to the Google Groups
"leo-editor" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to leo-editor+unsubscr...@googlegroups.com.
To post to this group, send email to leo-editor@googlegroups.com.
Visit this group at https://groups.google.com/group/leo-editor.
For more options, visit https://groups.google.com/d/optout.
