]>
gitweb.factorcode.org Git - factor.git/log
John Benediktsson [Sun, 16 Aug 2015 20:45:16 +0000 (13:45 -0700)]
ui.gadgets.editors: allow action-fields to have a default text.
John Benediktsson [Sun, 16 Aug 2015 19:58:38 +0000 (12:58 -0700)]
ui.tools.browser: better to remove page-color than change it.
John Benediktsson [Sun, 16 Aug 2015 19:54:56 +0000 (12:54 -0700)]
help.stylesheet: add back page-color and override in ui.tools.browser.
John Benediktsson [Sun, 16 Aug 2015 19:39:08 +0000 (12:39 -0700)]
prettyprint: fix for -> rename.
John Benediktsson [Sun, 16 Aug 2015 18:38:38 +0000 (11:38 -0700)]
help: fix some html navigation styles.
John Benediktsson [Sun, 16 Aug 2015 18:32:54 +0000 (11:32 -0700)]
help: make the default print prev/next links but then modify ui.tools.browser to do what it used to do.
John Benediktsson [Sun, 16 Aug 2015 18:11:11 +0000 (11:11 -0700)]
help.html: fix navigation links at top.
Doug Coleman [Sun, 16 Aug 2015 17:57:40 +0000 (10:57 -0700)]
prettyprint: change -> to => for newparser and -> cocoa syntax. Alternatives are possible.
John Benediktsson [Sun, 16 Aug 2015 17:46:28 +0000 (10:46 -0700)]
ui.gadgets: fix help-lint warnings.
John Benediktsson [Sun, 16 Aug 2015 17:41:16 +0000 (10:41 -0700)]
ui.gadgets: fix some tests.
John Benediktsson [Sun, 16 Aug 2015 17:33:52 +0000 (10:33 -0700)]
ui.gadgets: move some buttons-tests to toolbar-tests.
John Benediktsson [Sun, 16 Aug 2015 17:22:11 +0000 (10:22 -0700)]
ui.tools.browser: remove spacer for right now...
...until we have the text-within-empty-label thing fixed it gives
us a little more space to type into.
John Benediktsson [Sun, 16 Aug 2015 15:12:37 +0000 (08:12 -0700)]
gopher-ui: use ui.gadgets.toolbar.
John Benediktsson [Sun, 16 Aug 2015 15:04:58 +0000 (08:04 -0700)]
ui.gadgets.labeled: separate title-bar-interior with a comment why.
nicolas-p [Sun, 16 Aug 2015 10:44:14 +0000 (12:44 +0200)]
ui.gadgets.labeled: fixed USING
nicolas-p [Sun, 16 Aug 2015 09:14:48 +0000 (11:14 +0200)]
ui.gadgets.theme.light: colour changes
nicolas-p [Sun, 16 Aug 2015 09:14:24 +0000 (11:14 +0200)]
ui.gadgets.labeled: flat colour on windows because of the gradient bug
nicolas-p [Sun, 16 Aug 2015 09:09:04 +0000 (11:09 +0200)]
ui.tools.walker: improved status text
nicolas-p [Sun, 16 Aug 2015 09:01:32 +0000 (11:01 +0200)]
help: fixed USING
nicolas-p [Fri, 7 Aug 2015 16:36:11 +0000 (18:36 +0200)]
ui.tools.browser: navigation fix
nicolas-p [Fri, 7 Aug 2015 15:42:14 +0000 (17:42 +0200)]
ui.gadgets.color: changed error colour
Reverted a previous unintentional change
nicolas-p [Fri, 7 Aug 2015 15:29:10 +0000 (17:29 +0200)]
ui.theme.light: using HEXCOLOR
nicolas-p [Thu, 6 Aug 2015 22:05:48 +0000 (00:05 +0200)]
Refactored prev/next buttons code
nicolas-p [Thu, 30 Jul 2015 20:58:00 +0000 (22:58 +0200)]
help: Added arrows in prev/next links
nicolas-p [Thu, 30 Jul 2015 17:48:11 +0000 (19:48 +0200)]
ui.gadgets.scrollers: removed 1-px gap
nicolas-p [Thu, 30 Jul 2015 17:43:32 +0000 (19:43 +0200)]
ui.gadgets.colors moved to ui.gadgets.theme
nicolas-p [Wed, 29 Jul 2015 15:31:19 +0000 (17:31 +0200)]
Fixed USING in slots and deploy
nicolas-p [Wed, 29 Jul 2015 15:30:48 +0000 (17:30 +0200)]
Moved toolbar docs
nicolas-p [Sun, 26 Jul 2015 20:45:23 +0000 (22:45 +0200)]
New buttons
nicolas-p [Sun, 26 Jul 2015 16:55:59 +0000 (18:55 +0200)]
Toolbar button pressed background
nicolas-p [Sun, 26 Jul 2015 13:33:37 +0000 (15:33 +0200)]
ui.gadgets.colors: Several colour changes
nicolas-p [Sun, 26 Jul 2015 08:40:18 +0000 (10:40 +0200)]
Fixed alignment issue in toolbars
nicolas-p [Sun, 26 Jul 2015 08:38:33 +0000 (10:38 +0200)]
Fixed USING:
nicolas-p [Sun, 26 Jul 2015 07:39:18 +0000 (09:39 +0200)]
Red/orange/green thread status in Walker
John did most of the work
nicolas-p [Sat, 25 Jul 2015 18:10:26 +0000 (20:10 +0200)]
Simplified toolbar code
nicolas-p [Sat, 25 Jul 2015 14:46:22 +0000 (16:46 +0200)]
Small change in roll button colour
nicolas-p [Sat, 25 Jul 2015 14:31:49 +0000 (16:31 +0200)]
Other small adjustment in browser toolbar
nicolas-p [Sat, 25 Jul 2015 13:10:04 +0000 (15:10 +0200)]
Small adjustments in browser toolbar
nicolas-p [Sat, 25 Jul 2015 13:05:53 +0000 (15:05 +0200)]
Revert previous colour change
Changed my mind
nicolas-p [Sat, 25 Jul 2015 09:53:00 +0000 (11:53 +0200)]
Improved contents table in Inspector
nicolas-p [Sat, 25 Jul 2015 09:14:04 +0000 (11:14 +0200)]
Colour changes
nicolas-p [Sat, 25 Jul 2015 07:39:46 +0000 (09:39 +0200)]
Fixed compatibility issue with labeled gadget
nicolas-p [Fri, 24 Jul 2015 19:16:42 +0000 (21:16 +0200)]
Toolbar no longer uses images
nicolas-p [Fri, 24 Jul 2015 18:23:54 +0000 (20:23 +0200)]
Authors and summary for ui.gadgets.toolbar
nicolas-p [Fri, 24 Jul 2015 18:20:05 +0000 (20:20 +0200)]
Authors and summary for ui.gadgets.colors
nicolas-p [Fri, 24 Jul 2015 18:04:19 +0000 (20:04 +0200)]
Removing menu item images
I’m under the impression that they’ve never been used.
nicolas-p [Fri, 24 Jul 2015 18:03:20 +0000 (20:03 +0200)]
Removing menu images
nicolas-p [Fri, 24 Jul 2015 18:01:20 +0000 (20:01 +0200)]
Removing labeled block images
nicolas-p [Fri, 24 Jul 2015 16:50:16 +0000 (18:50 +0200)]
help: removing prefix
nicolas-p [Fri, 24 Jul 2015 16:35:59 +0000 (18:35 +0200)]
Centring prev/next links in Browser
nicolas-p [Fri, 24 Jul 2015 15:54:30 +0000 (17:54 +0200)]
Prev/next buttons in Browser
nicolas-p [Fri, 24 Jul 2015 14:42:20 +0000 (16:42 +0200)]
Fixed USING:
nicolas-p [Fri, 24 Jul 2015 14:23:41 +0000 (16:23 +0200)]
ui.tools.browser: using format-toolbar
nicolas-p [Fri, 24 Jul 2015 14:22:47 +0000 (16:22 +0200)]
Removed ui.gadgets.lines
with-lines moves to ui.tools.common, white-interior moves to
ui.gadgets.colors
nicolas-p [Thu, 23 Jul 2015 17:24:35 +0000 (19:24 +0200)]
New error-list
nicolas-p [Thu, 23 Jul 2015 17:24:25 +0000 (19:24 +0200)]
Using ui.gadgets.colors everywhere
nicolas-p [Thu, 23 Jul 2015 17:23:55 +0000 (19:23 +0200)]
Added ui.gadgets.colors
All colour constants in the same place
nicolas-p [Wed, 22 Jul 2015 19:54:31 +0000 (21:54 +0200)]
New menu
nicolas-p [Wed, 22 Jul 2015 17:57:23 +0000 (19:57 +0200)]
Increased font size in help header path
nicolas-p [Wed, 22 Jul 2015 17:18:13 +0000 (19:18 +0200)]
Actual colours for labeled gadgets
nicolas-p [Tue, 21 Jul 2015 19:20:36 +0000 (21:20 +0200)]
Using filled-border in status bar
nicolas-p [Tue, 21 Jul 2015 19:13:54 +0000 (21:13 +0200)]
Removed extra new line in help
nicolas-p [Tue, 21 Jul 2015 19:12:09 +0000 (21:12 +0200)]
Fixed USING: in debugger
nicolas-p [Tue, 21 Jul 2015 19:11:42 +0000 (21:11 +0200)]
New inspector
nicolas-p [Tue, 21 Jul 2015 19:09:01 +0000 (21:09 +0200)]
White interior and margins in Traceback
nicolas-p [Tue, 21 Jul 2015 18:51:28 +0000 (20:51 +0200)]
New debugger
nicolas-p [Tue, 21 Jul 2015 18:50:08 +0000 (20:50 +0200)]
Removed white interior
It was in the wrong place
nicolas-p [Tue, 21 Jul 2015 17:35:51 +0000 (19:35 +0200)]
Move vivid colour in Browser header
To go with the green header in the Walker.
nicolas-p [Tue, 21 Jul 2015 17:34:06 +0000 (19:34 +0200)]
Labeled: added colour lines, framed labeled and fixed keyboard focus
Colours lines are all yellow at the moment. This will change later.
nicolas-p [Mon, 20 Jul 2015 20:58:32 +0000 (22:58 +0200)]
Fixed USING: (again)
nicolas-p [Mon, 20 Jul 2015 18:20:32 +0000 (20:20 +0200)]
Traceback and Walker now use the new labeled gadget
nicolas-p [Mon, 20 Jul 2015 18:18:38 +0000 (20:18 +0200)]
Fixed USING:
nicolas-p [Mon, 20 Jul 2015 18:13:44 +0000 (20:13 +0200)]
New labeled gadget
The new labeled gadget is not a frame anymore.
nicolas-p [Mon, 20 Jul 2015 15:55:54 +0000 (17:55 +0200)]
Restoring the "add-" prefix
nicolas-p [Sun, 19 Jul 2015 20:32:21 +0000 (22:32 +0200)]
Toolbar, lines and margins used in listener and browser
nicolas-p [Sun, 19 Jul 2015 20:29:47 +0000 (22:29 +0200)]
Common margins for all panes
(Is this the right place to put it?)
nicolas-p [Sun, 19 Jul 2015 19:34:29 +0000 (21:34 +0200)]
New lines dictionary
To draw 1-px grey lines between panes
nicolas-p [Sun, 19 Jul 2015 19:33:15 +0000 (21:33 +0200)]
New toolbar dictionary
nicolas-p [Sun, 19 Jul 2015 19:24:18 +0000 (21:24 +0200)]
Revert "solid-underlined"
This reverts commit
7e4450776d935a94e1cc013f18b9818ac9af91cd.
nicolas-p [Sun, 19 Jul 2015 08:46:46 +0000 (10:46 +0200)]
New labeled block images
Using grey85 (217 217 217)
nicolas-p [Sun, 19 Jul 2015 08:45:42 +0000 (10:45 +0200)]
New menu border images
nicolas-p [Sat, 18 Jul 2015 14:48:47 +0000 (16:48 +0200)]
Menu border
Added 3 px to menu borders.
nicolas-p [Sat, 18 Jul 2015 13:48:02 +0000 (15:48 +0200)]
Use colour constants
nicolas-p [Sat, 18 Jul 2015 11:37:05 +0000 (13:37 +0200)]
Browser improvements
Browser with a unified toolbar and a header that is always visible. The
prev/next buttons are moved to the bottom of the page.
nicolas-p [Sat, 18 Jul 2015 11:32:39 +0000 (13:32 +0200)]
Margins
Margins increased in the listener and status bar.
nicolas-p [Sat, 18 Jul 2015 11:19:31 +0000 (13:19 +0200)]
Unified toolbar
New toolbar with a grey background.
nicolas-p [Sat, 18 Jul 2015 11:15:42 +0000 (13:15 +0200)]
solid-underlined
New pen that acts like solid but only draws the bottom border
nicolas-p [Sat, 18 Jul 2015 11:11:44 +0000 (13:11 +0200)]
Transparent buttons
Transparent button backgrounds (for the unified toolbar)
nicolas-p [Sat, 18 Jul 2015 11:09:05 +0000 (13:09 +0200)]
New scrollbars
nicolas-p [Sat, 18 Jul 2015 11:08:08 +0000 (13:08 +0200)]
New scrollbars
The scrollbar background is now transparent and the scrollbars are
thinner.
John Benediktsson [Sun, 16 Aug 2015 05:03:38 +0000 (22:03 -0700)]
core-foundation.launch-services: use <c-array>.
John Benediktsson [Sun, 16 Aug 2015 04:40:39 +0000 (21:40 -0700)]
classes.struct: rename (init-struct) to init-struct.
John Benediktsson [Sun, 16 Aug 2015 04:37:33 +0000 (21:37 -0700)]
cpu.x86.features: use <c-array>.
Doug Coleman [Sun, 16 Aug 2015 04:16:48 +0000 (21:16 -0700)]
bootstrap.image: rename ' to prepare-object. it doesn't actually output the object, unlike what the comment said.
Doug Coleman [Sun, 16 Aug 2015 04:14:39 +0000 (21:14 -0700)]
parser-combinators: fix up look sharp!
John Benediktsson [Sun, 16 Aug 2015 02:39:39 +0000 (19:39 -0700)]
classes.tuple: a better error if creating a tuple from too many values.
Doug Coleman [Sun, 16 Aug 2015 01:51:10 +0000 (18:51 -0700)]
extra: remove rest of 'word' names.
Doug Coleman [Sun, 16 Aug 2015 01:30:53 +0000 (18:30 -0700)]
fjsc: 'word' -> word-parser
Doug Coleman [Sun, 16 Aug 2015 01:10:13 +0000 (18:10 -0700)]
peg: 'convention' -> convention-parser for Factor word names. In EBNF DSL, 'convention' is obviously still allowed.
John Benediktsson [Sun, 16 Aug 2015 00:10:27 +0000 (17:10 -0700)]
sorting.quick: only allow sorting array-capacity things.