Skip to content

Commit

Permalink
restoring theme selection
Browse files Browse the repository at this point in the history
  • Loading branch information
zot committed Jul 26, 2015
1 parent a04cdc6 commit 60943cd
Show file tree
Hide file tree
Showing 77 changed files with 120 additions and 27 deletions.
12 changes: 10 additions & 2 deletions TODO.org
@@ -1,4 +1,6 @@
* TODO restore syntax highlighting
* TODO Make editor use docOffsets and domCursors, remove getPositionForBlock, etc.
* TODO link errors should have tooltips on the entire link, not just the X
* Project list
- switch to simple emacs protocol
- use a [[https://github.com/qiao/fingertree.js][fingertree]] to handle inserts and track offsets
Expand Down Expand Up @@ -38,14 +40,18 @@
- p2p
- storage
* Search stuff
- switch to suffix list
- search history
- search type drop-down
- case sensitive, regexp
- highlight results
* TODO spreadsheet, table rendering
* TODO more value editors besides numeric sliders
* TODO restore value sliders and make more value editors
- colors
- week/month days
- calendars
- clocks
- region names
- human name pickers
* TODO make UI system to use a data filter to manage view definition
* TODO coffeescript errors should deal with sourcemaps properly [[https://github.com/rich-harris/sorcery][sorcery]]
* TODO use handlebars partials instead of templates[]?
Expand Down Expand Up @@ -949,6 +955,8 @@ Mark it as a forwarder so if you copy it again, you refer to the original, not t
:PROPERTIES:
:ID: 55e59f7f-174a-44fc-934c-8bae8a910f82
:END:
** DONE restore theme switching
CLOSED: [2015-07-26 Sun 20:09]
** DONE emacs connection using [[https://github.com/ahyatt/emacs-websocket][websockets]]
CLOSED: [2015-07-25 Sat 10:00]
Final choice of message is
Expand Down
9 changes: 7 additions & 2 deletions build/editorSupport.js

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion build/editorSupport.js.map

Large diffs are not rendered by default.

1 change: 0 additions & 1 deletion build/local.js

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion build/local.js.map

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes.
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
File renamed without changes
10 changes: 5 additions & 5 deletions css/themes.css
Expand Up @@ -21,7 +21,7 @@ body.leisureError > #error {
@font-face
{
font-family: FranklinM54;
src: url('/font/franklinm54-webfont.woff') format('woff');
src: url('../font/franklinm54-webfont.woff') format('woff');
}
.cthulhu [data-edit-mode='plain'],
body.cthulhu {
Expand Down Expand Up @@ -209,12 +209,12 @@ body.cthulhu {
@font-face
{
font-family: SpaceshipBullet;
src: url('/font/Spaceship Bullet.woff') format('woff');
src: url('../font/Spaceship Bullet.woff') format('woff');
}
@font-face
{
font-family: Inconsolata;
src: url('/font/Inconsolata.woff') format('woff');
src: url('../font/Inconsolata.woff') format('woff');
}

.googie [data-edit-mode='plain'],
Expand Down Expand Up @@ -530,12 +530,12 @@ body.console {
@font-face
{
font-family: MouseDeco;
src: url('/font/Mouse_Deco.woff') format('woff');
src: url('../font/Mouse_Deco.woff') format('woff');
}
@font-face
{
font-family: Ciudad;
src: url('/font/Ciudad Nueva CAPS Bold.woff') format('woff');
src: url('../font/Ciudad Nueva CAPS Bold.woff') format('woff');
}
.steampunk #leisure_bar {
width: 0px;
Expand Down
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.

0 comments on commit 60943cd

Please sign in to comment.