Björn Lindqvist
|
340ad8b8d9
|
VM: removes the delete_contexts method
|
2016-05-14 18:21:49 +02:00 |
|
Björn Lindqvist
|
5fabb71404
|
bootstrap.compiler.timing: "profile-compiler" is never set so this vocab
is unused
|
2016-05-14 18:21:49 +02:00 |
Doug Coleman
|
d5b33de57c
|
typed: factor typed-def? out of typed-def.
|
2016-05-12 16:33:19 -07:00 |
|
Doug Coleman
|
3fa9ad91f6
|
effects: Add support for :type as standalone, unnamed types. ( :float -- ) pprints as ( _: float -- ), and ( :( a -- b ) -- ) works, etc. :union{ foo bar } pprints as object but could be improved if the effects parser uses the prettyprinter somehow.
Move ?execute-parsing to parser to avoid circularity.
|
2016-05-12 16:27:50 -07:00 |
John Benediktsson
|
7d66c331db
|
ui.gadgets.table: mouse-color uses theme.
|
2016-05-11 18:39:44 -07:00 |
|
John Benediktsson
|
6149bf5afc
|
ui.tools.debugger: set theme fonts on table...
Probably this should be in the table gadget itself and not scattered everywhere.
|
2016-05-11 18:37:07 -07:00 |
|
John Benediktsson
|
fb9a71627f
|
ui.theme.switching: adding back light-mode and dark-mode.
|
2016-05-11 18:32:33 -07:00 |
|
John Benediktsson
|
8a09779e3e
|
ui.theme.switching: adding some docs.
|
2016-05-11 18:09:36 -07:00 |
|
John Benediktsson
|
26e26599bd
|
ui.theme.switching: add a switch-theme word.
|
2016-05-11 18:09:36 -07:00 |
|
Doug Coleman
|
d00e986b3d
|
combinators.extras: fix unit tests.
|
2016-05-11 14:18:48 -07:00 |
|
Doug Coleman
|
5d116594e0
|
editors.visual-studio-code: try to find "code" then "Code" then... on linux.
|
2016-05-11 11:53:35 -07:00 |
|
Doug Coleman
|
8330256b1d
|
combinators.extras, generalizations:: Add experimental combinators for 1res, 1arg.
|
2016-05-11 11:53:29 -07:00 |
|
Doug Coleman
|
6b77c4f3da
|
tools.deploy: bump the other bunny deploy size.
|
2016-05-10 15:21:06 -07:00 |
|
John Benediktsson
|
5ebc7193fa
|
ui.theme: remove unused url-color hook.
|
2016-05-10 15:20:28 -07:00 |
|
Doug Coleman
|
d279cea544
|
tools.deploy: bump the bunny size.
|
2016-05-10 02:35:35 -07:00 |
|
Doug Coleman
|
eb84850315
|
ui.gadgets.lists: Fix using for themes.
|
2016-05-10 02:35:26 -07:00 |
|
John Benediktsson
|
0781fa5d00
|
ui.gadgets.theme: fix windows bootstrap.
not sure yet why this is necessary.
|
2016-05-09 23:27:41 -07:00 |
|
John Benediktsson
|
63410f62c8
|
ui.theme: updates to color scheme.
Fixes circularity and adds theme switching to Mac menu.
Could use some simplification and reduction in color theme hooks.
|
2016-05-09 21:40:56 -07:00 |
nicolas-p
|
7a028977c4
|
Moved both themes into ui.theme
|
2016-05-09 21:40:56 -07:00 |
|
nicolas-p
|
35c8ec6bae
|
Updated scrollbar buttons
|
2016-05-09 21:40:56 -07:00 |
|
nicolas-p
|
0d6ae8a8b9
|
Fixed USING
|
2016-05-09 21:40:56 -07:00 |
|
nicolas-p
|
f650f7d869
|
Added listener styles in theme switching
|
2016-05-09 21:40:56 -07:00 |
|
nicolas-p
|
a83c90d849
|
Some color changes in both themes
|
2016-05-09 21:40:56 -07:00 |
|
nicolas-p
|
5985291a4a
|
Changed warning background in light theme
|
2016-05-09 21:40:56 -07:00 |
|
nicolas-p
|
a13d2b9fbf
|
Small change in themes
|
2016-05-09 21:40:56 -07:00 |
|
nicolas-p
|
45316318e8
|
Added "require" for theme.light and theme.dark
|
2016-05-09 21:40:56 -07:00 |
|
nicolas-p
|
94d9bf8c88
|
Added prompt style and tip style in switching
|
2016-05-09 21:40:56 -07:00 |
|
nicolas-p
|
d2e645b5a2
|
Scrollbar buttons with transparent background
|
2016-05-09 21:40:56 -07:00 |
|
nicolas-p
|
e7897dd194
|
Author and summary for ui.gadgets.theme.switching
|
2016-05-09 21:40:56 -07:00 |
|
nicolas-p
|
f54fa08e05
|
Added tooltip for themes
|
2016-05-09 21:40:56 -07:00 |
|
nicolas-p
|
85ba970bed
|
Renaming themes
|
2016-05-09 21:40:56 -07:00 |
|
nicolas-p
|
6a912e47b4
|
Implemented theme switching
|
2016-05-09 21:40:56 -07:00 |
|
nicolas-p
|
83a725563e
|
Added colors in light and dark themes
|
2016-05-09 21:40:56 -07:00 |
|
nicolas-p
|
072f8e2625
|
Set text color almost everywhere
|
2016-05-09 21:40:56 -07:00 |
|
nicolas-p
|
61707f7fef
|
Author and summary for dark theme
|
2016-05-09 21:40:56 -07:00 |
|
nicolas-p
|
e5698281fb
|
Replaced hard-coded colors with constants
|
2016-05-09 21:40:56 -07:00 |
|
nicolas-p
|
bea90b8d1f
|
Better copyright format
|
2016-05-09 21:40:56 -07:00 |
|
nicolas-p
|
e6fe63e62b
|
Added Solarized colors
|
2016-05-09 21:40:56 -07:00 |
|
John Benediktsson
|
465e6478ab
|
inverse: minor cleanup.
|
2016-05-09 21:38:05 -07:00 |
|
John Benediktsson
|
a07b411834
|
bencode: adding bencoding vocabulary.
|
2016-05-09 21:38:05 -07:00 |
|
Doug Coleman
|
c1d78e87ff
|
stream.extras: add print-flush, write-flush, etc.
|
2016-05-09 17:18:08 -07:00 |
|
Doug Coleman
|
7f3adf3fb1
|
sequences.extras: add map-keys, map-values.
|
2016-05-09 16:28:04 -07:00 |
|
Doug Coleman
|
7ced47a6b1
|
irc.gitbot: fix command.
|
2016-05-09 16:07:15 -07:00 |
|
Doug Coleman
|
3f27df6d0a
|
irc.logbot.log-line: print the user prefix.
|
2016-05-09 15:43:20 -07:00 |
|
Doug Coleman
|
d3570f2b22
|
irc.gitbot: update to be configurable.
|
2016-05-09 15:09:54 -07:00 |
|
Doug Coleman
|
e28328af70
|
forestdb.ffi: fix struct layout.
|
2016-05-09 14:58:02 -07:00 |
|
Doug Coleman
|
cd89da032d
|
irc: use utf8 instead of latin1. not sure if this is the best idea.
|
2016-05-09 12:11:44 -07:00 |
|
Doug Coleman
|
449c740b23
|
client.base: paremeters was getting the channel name instead of the channel>> slot. try to fix it in chat-message.
|
2016-05-09 11:59:42 -07:00 |
|
Doug Coleman
|
2d5368f4af
|
irc.messages.parser: simplify parser
|
2016-05-09 11:49:19 -07:00 |
|
Doug Coleman
|
334477d94a
|
websites.concatenative: allow listings for irclogs
|
2016-05-09 17:45:44 +00:00 |