Skip to content

Make editor color customizable by theme.#81

Open
dram wants to merge 1 commit into
russellallen:masterfrom
dram:editor-color
Open

Make editor color customizable by theme.#81
dram wants to merge 1 commit into
russellallen:masterfrom
dram:editor-color

Conversation

@dram

@dram dram commented Oct 15, 2016

Copy link
Copy Markdown
Contributor

This PR make editor usable in dark theme. Here's a screenshot.

snapshot2

This screenshot is run with this PR, PR #73 and following configurations:

preferences outliner theme: preferences outliner themes night.

preferences desktop backgroundColor: preferences outliner theme bodyColor.

selfCatOrObjModel moduleSummaryFontSpec size: 16.
selfGeneralSlotModel undeclaredTitleFontSpec size: 14.
selfGeneralSlotModel privateTitleFontSpec size: 14.
selfGeneralSlotModel publicTitleFontSpec size: 14.
generalCategoryModel objectTitleFontSpec size: 16.
generalCategoryModel objectTitleFontSpec style: 'bold'.
generalCategoryModel subcategoryTitleFontSpec size: 14.
ui2_textField fontSpec: globals fontSpec copyName: '9x15bold' Size: 15.
ui2Menu defaultFontSpec: ui2Menu defaultFontSpec copySize: 16.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant