]> gitweb.factorcode.org Git - factor.git/log
factor.git
8 years agoui.gadgets.editors: allow action-fields to have a default text.
John Benediktsson [Sun, 16 Aug 2015 20:45:16 +0000 (13:45 -0700)]
ui.gadgets.editors: allow action-fields to have a default text.

8 years agoui.tools.browser: better to remove page-color than change it.
John Benediktsson [Sun, 16 Aug 2015 19:58:38 +0000 (12:58 -0700)]
ui.tools.browser: better to remove page-color than change it.

8 years agohelp.stylesheet: add back page-color and override in ui.tools.browser.
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.

8 years agoprettyprint: fix for -> rename.
John Benediktsson [Sun, 16 Aug 2015 19:39:08 +0000 (12:39 -0700)]
prettyprint: fix for -> rename.

8 years agohelp: fix some html navigation styles.
John Benediktsson [Sun, 16 Aug 2015 18:38:38 +0000 (11:38 -0700)]
help: fix some html navigation styles.

8 years agohelp: make the default print prev/next links but then modify ui.tools.browser to...
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.

8 years agohelp.html: fix navigation links at top.
John Benediktsson [Sun, 16 Aug 2015 18:11:11 +0000 (11:11 -0700)]
help.html: fix navigation links at top.

8 years agoprettyprint: change -> to => for newparser and -> cocoa syntax. Alternatives are...
Doug Coleman [Sun, 16 Aug 2015 17:57:40 +0000 (10:57 -0700)]
prettyprint: change -> to => for newparser and -> cocoa syntax. Alternatives are possible.

8 years agoui.gadgets: fix help-lint warnings.
John Benediktsson [Sun, 16 Aug 2015 17:46:28 +0000 (10:46 -0700)]
ui.gadgets: fix help-lint warnings.

8 years agoui.gadgets: fix some tests.
John Benediktsson [Sun, 16 Aug 2015 17:41:16 +0000 (10:41 -0700)]
ui.gadgets: fix some tests.

8 years agoui.gadgets: move some buttons-tests to toolbar-tests.
John Benediktsson [Sun, 16 Aug 2015 17:33:52 +0000 (10:33 -0700)]
ui.gadgets: move some buttons-tests to toolbar-tests.

8 years agoui.tools.browser: remove spacer for right now...
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.

8 years agogopher-ui: use ui.gadgets.toolbar.
John Benediktsson [Sun, 16 Aug 2015 15:12:37 +0000 (08:12 -0700)]
gopher-ui: use ui.gadgets.toolbar.

8 years agoui.gadgets.labeled: separate title-bar-interior with a comment why.
John Benediktsson [Sun, 16 Aug 2015 15:04:58 +0000 (08:04 -0700)]
ui.gadgets.labeled: separate title-bar-interior with a comment why.

8 years agoui.gadgets.labeled: fixed USING
nicolas-p [Sun, 16 Aug 2015 10:44:14 +0000 (12:44 +0200)]
ui.gadgets.labeled: fixed USING

8 years agoui.gadgets.theme.light: colour changes
nicolas-p [Sun, 16 Aug 2015 09:14:48 +0000 (11:14 +0200)]
ui.gadgets.theme.light: colour changes

8 years agoui.gadgets.labeled: flat colour on windows because of the gradient bug
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

8 years agoui.tools.walker: improved status text
nicolas-p [Sun, 16 Aug 2015 09:09:04 +0000 (11:09 +0200)]
ui.tools.walker: improved status text

8 years agohelp: fixed USING
nicolas-p [Sun, 16 Aug 2015 09:01:32 +0000 (11:01 +0200)]
help: fixed USING

8 years agoui.tools.browser: navigation fix
nicolas-p [Fri, 7 Aug 2015 16:36:11 +0000 (18:36 +0200)]
ui.tools.browser: navigation fix

8 years agoui.gadgets.color: changed error colour
nicolas-p [Fri, 7 Aug 2015 15:42:14 +0000 (17:42 +0200)]
ui.gadgets.color: changed error colour

Reverted a previous unintentional change

8 years agoui.theme.light: using HEXCOLOR
nicolas-p [Fri, 7 Aug 2015 15:29:10 +0000 (17:29 +0200)]
ui.theme.light: using HEXCOLOR

8 years agoRefactored prev/next buttons code
nicolas-p [Thu, 6 Aug 2015 22:05:48 +0000 (00:05 +0200)]
Refactored prev/next buttons code

8 years agohelp: Added arrows in prev/next links
nicolas-p [Thu, 30 Jul 2015 20:58:00 +0000 (22:58 +0200)]
help: Added arrows in prev/next links

8 years agoui.gadgets.scrollers: removed 1-px gap
nicolas-p [Thu, 30 Jul 2015 17:48:11 +0000 (19:48 +0200)]
ui.gadgets.scrollers: removed 1-px gap

8 years agoui.gadgets.colors moved to ui.gadgets.theme
nicolas-p [Thu, 30 Jul 2015 17:43:32 +0000 (19:43 +0200)]
ui.gadgets.colors moved to ui.gadgets.theme

8 years agoFixed USING in slots and deploy
nicolas-p [Wed, 29 Jul 2015 15:31:19 +0000 (17:31 +0200)]
Fixed USING in slots and deploy

8 years agoMoved toolbar docs
nicolas-p [Wed, 29 Jul 2015 15:30:48 +0000 (17:30 +0200)]
Moved toolbar docs

8 years agoNew buttons
nicolas-p [Sun, 26 Jul 2015 20:45:23 +0000 (22:45 +0200)]
New buttons

8 years agoToolbar button pressed background
nicolas-p [Sun, 26 Jul 2015 16:55:59 +0000 (18:55 +0200)]
Toolbar button pressed background

8 years agoui.gadgets.colors: Several colour changes
nicolas-p [Sun, 26 Jul 2015 13:33:37 +0000 (15:33 +0200)]
ui.gadgets.colors: Several colour changes

8 years agoFixed alignment issue in toolbars
nicolas-p [Sun, 26 Jul 2015 08:40:18 +0000 (10:40 +0200)]
Fixed alignment issue in toolbars

8 years agoFixed USING:
nicolas-p [Sun, 26 Jul 2015 08:38:33 +0000 (10:38 +0200)]
Fixed USING:

8 years agoRed/orange/green thread status in Walker
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

8 years agoSimplified toolbar code
nicolas-p [Sat, 25 Jul 2015 18:10:26 +0000 (20:10 +0200)]
Simplified toolbar code

8 years agoSmall change in roll button colour
nicolas-p [Sat, 25 Jul 2015 14:46:22 +0000 (16:46 +0200)]
Small change in roll button colour

8 years agoOther small adjustment in browser toolbar
nicolas-p [Sat, 25 Jul 2015 14:31:49 +0000 (16:31 +0200)]
Other small adjustment in browser toolbar

8 years agoSmall adjustments in browser toolbar
nicolas-p [Sat, 25 Jul 2015 13:10:04 +0000 (15:10 +0200)]
Small adjustments in browser toolbar

8 years agoRevert previous colour change
nicolas-p [Sat, 25 Jul 2015 13:05:53 +0000 (15:05 +0200)]
Revert previous colour change

Changed my mind

8 years agoImproved contents table in Inspector
nicolas-p [Sat, 25 Jul 2015 09:53:00 +0000 (11:53 +0200)]
Improved contents table in Inspector

8 years agoColour changes
nicolas-p [Sat, 25 Jul 2015 09:14:04 +0000 (11:14 +0200)]
Colour changes

8 years agoFixed compatibility issue with labeled gadget
nicolas-p [Sat, 25 Jul 2015 07:39:46 +0000 (09:39 +0200)]
Fixed compatibility issue with labeled gadget

8 years agoToolbar no longer uses images
nicolas-p [Fri, 24 Jul 2015 19:16:42 +0000 (21:16 +0200)]
Toolbar no longer uses images

8 years agoAuthors and summary for ui.gadgets.toolbar
nicolas-p [Fri, 24 Jul 2015 18:23:54 +0000 (20:23 +0200)]
Authors and summary for ui.gadgets.toolbar

8 years agoAuthors and summary for ui.gadgets.colors
nicolas-p [Fri, 24 Jul 2015 18:20:05 +0000 (20:20 +0200)]
Authors and summary for ui.gadgets.colors

8 years agoRemoving menu item images
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.

8 years agoRemoving menu images
nicolas-p [Fri, 24 Jul 2015 18:03:20 +0000 (20:03 +0200)]
Removing menu images

8 years agoRemoving labeled block images
nicolas-p [Fri, 24 Jul 2015 18:01:20 +0000 (20:01 +0200)]
Removing labeled block images

8 years agohelp: removing prefix
nicolas-p [Fri, 24 Jul 2015 16:50:16 +0000 (18:50 +0200)]
help: removing prefix

8 years agoCentring prev/next links in Browser
nicolas-p [Fri, 24 Jul 2015 16:35:59 +0000 (18:35 +0200)]
Centring prev/next links in Browser

8 years agoPrev/next buttons in Browser
nicolas-p [Fri, 24 Jul 2015 15:54:30 +0000 (17:54 +0200)]
Prev/next buttons in Browser

8 years agoFixed USING:
nicolas-p [Fri, 24 Jul 2015 14:42:20 +0000 (16:42 +0200)]
Fixed USING:

8 years agoui.tools.browser: using format-toolbar
nicolas-p [Fri, 24 Jul 2015 14:23:41 +0000 (16:23 +0200)]
ui.tools.browser: using format-toolbar

8 years agoRemoved ui.gadgets.lines
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

8 years agoNew error-list
nicolas-p [Thu, 23 Jul 2015 17:24:35 +0000 (19:24 +0200)]
New error-list

8 years agoUsing ui.gadgets.colors everywhere
nicolas-p [Thu, 23 Jul 2015 17:24:25 +0000 (19:24 +0200)]
Using ui.gadgets.colors everywhere

8 years agoAdded ui.gadgets.colors
nicolas-p [Thu, 23 Jul 2015 17:23:55 +0000 (19:23 +0200)]
Added ui.gadgets.colors

All colour constants in the same place

8 years agoNew menu
nicolas-p [Wed, 22 Jul 2015 19:54:31 +0000 (21:54 +0200)]
New menu

8 years agoIncreased font size in help header path
nicolas-p [Wed, 22 Jul 2015 17:57:23 +0000 (19:57 +0200)]
Increased font size in help header path

8 years agoActual colours for labeled gadgets
nicolas-p [Wed, 22 Jul 2015 17:18:13 +0000 (19:18 +0200)]
Actual colours for labeled gadgets

8 years agoUsing filled-border in status bar
nicolas-p [Tue, 21 Jul 2015 19:20:36 +0000 (21:20 +0200)]
Using filled-border in status bar

8 years agoRemoved extra new line in help
nicolas-p [Tue, 21 Jul 2015 19:13:54 +0000 (21:13 +0200)]
Removed extra new line in help

8 years agoFixed USING: in debugger
nicolas-p [Tue, 21 Jul 2015 19:12:09 +0000 (21:12 +0200)]
Fixed USING: in debugger

8 years agoNew inspector
nicolas-p [Tue, 21 Jul 2015 19:11:42 +0000 (21:11 +0200)]
New inspector

8 years agoWhite interior and margins in Traceback
nicolas-p [Tue, 21 Jul 2015 19:09:01 +0000 (21:09 +0200)]
White interior and margins in Traceback

8 years agoNew debugger
nicolas-p [Tue, 21 Jul 2015 18:51:28 +0000 (20:51 +0200)]
New debugger

8 years agoRemoved white interior
nicolas-p [Tue, 21 Jul 2015 18:50:08 +0000 (20:50 +0200)]
Removed white interior

It was in the wrong place

8 years agoMove vivid colour in Browser header
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.

8 years agoLabeled: added colour lines, framed labeled and fixed keyboard focus
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.

8 years agoFixed USING: (again)
nicolas-p [Mon, 20 Jul 2015 20:58:32 +0000 (22:58 +0200)]
Fixed USING: (again)

8 years agoTraceback and Walker now use the new labeled gadget
nicolas-p [Mon, 20 Jul 2015 18:20:32 +0000 (20:20 +0200)]
Traceback and Walker now use the new labeled gadget

8 years agoFixed USING:
nicolas-p [Mon, 20 Jul 2015 18:18:38 +0000 (20:18 +0200)]
Fixed USING:

8 years agoNew labeled gadget
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.

8 years agoRestoring the "add-" prefix
nicolas-p [Mon, 20 Jul 2015 15:55:54 +0000 (17:55 +0200)]
Restoring the "add-" prefix

8 years agoToolbar, lines and margins used in listener and browser
nicolas-p [Sun, 19 Jul 2015 20:32:21 +0000 (22:32 +0200)]
Toolbar, lines and margins used in listener and browser

8 years agoCommon margins for all panes
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?)

8 years agoNew lines dictionary
nicolas-p [Sun, 19 Jul 2015 19:34:29 +0000 (21:34 +0200)]
New lines dictionary

To draw 1-px grey lines between panes

8 years agoNew toolbar dictionary
nicolas-p [Sun, 19 Jul 2015 19:33:15 +0000 (21:33 +0200)]
New toolbar dictionary

8 years agoRevert "solid-underlined"
nicolas-p [Sun, 19 Jul 2015 19:24:18 +0000 (21:24 +0200)]
Revert "solid-underlined"

This reverts commit 7e4450776d935a94e1cc013f18b9818ac9af91cd.

8 years agoNew labeled block images
nicolas-p [Sun, 19 Jul 2015 08:46:46 +0000 (10:46 +0200)]
New labeled block images

Using grey85 (217 217 217)

8 years agoNew menu border images
nicolas-p [Sun, 19 Jul 2015 08:45:42 +0000 (10:45 +0200)]
New menu border images

8 years agoMenu border
nicolas-p [Sat, 18 Jul 2015 14:48:47 +0000 (16:48 +0200)]
Menu border

Added 3 px to menu borders.

8 years agoUse colour constants
nicolas-p [Sat, 18 Jul 2015 13:48:02 +0000 (15:48 +0200)]
Use colour constants

8 years agoBrowser improvements
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.

8 years agoMargins
nicolas-p [Sat, 18 Jul 2015 11:32:39 +0000 (13:32 +0200)]
Margins

Margins increased in the listener and status bar.

8 years agoUnified toolbar
nicolas-p [Sat, 18 Jul 2015 11:19:31 +0000 (13:19 +0200)]
Unified toolbar

New toolbar with a grey background.

8 years agosolid-underlined
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

8 years agoTransparent buttons
nicolas-p [Sat, 18 Jul 2015 11:11:44 +0000 (13:11 +0200)]
Transparent buttons

Transparent button backgrounds (for the unified toolbar)

8 years agoNew scrollbars
nicolas-p [Sat, 18 Jul 2015 11:09:05 +0000 (13:09 +0200)]
New scrollbars

8 years agoNew 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.

8 years agocore-foundation.launch-services: use <c-array>.
John Benediktsson [Sun, 16 Aug 2015 05:03:38 +0000 (22:03 -0700)]
core-foundation.launch-services: use <c-array>.

8 years agoclasses.struct: rename (init-struct) to init-struct.
John Benediktsson [Sun, 16 Aug 2015 04:40:39 +0000 (21:40 -0700)]
classes.struct: rename (init-struct) to init-struct.

8 years agocpu.x86.features: use <c-array>.
John Benediktsson [Sun, 16 Aug 2015 04:37:33 +0000 (21:37 -0700)]
cpu.x86.features: use <c-array>.

8 years agobootstrap.image: rename ' to prepare-object. it doesn't actually output the object...
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.

8 years agoparser-combinators: fix up look sharp!
Doug Coleman [Sun, 16 Aug 2015 04:14:39 +0000 (21:14 -0700)]
parser-combinators: fix up look sharp!

8 years agoclasses.tuple: a better error if creating a tuple from too many values.
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.

8 years agoextra: remove rest of 'word' names.
Doug Coleman [Sun, 16 Aug 2015 01:51:10 +0000 (18:51 -0700)]
extra: remove rest of 'word' names.

8 years agofjsc: 'word' -> word-parser
Doug Coleman [Sun, 16 Aug 2015 01:30:53 +0000 (18:30 -0700)]
fjsc: 'word' -> word-parser

8 years agopeg: 'convention' -> convention-parser for Factor word names. In EBNF DSL, 'conventio...
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.

8 years agosorting.quick: only allow sorting array-capacity things.
John Benediktsson [Sun, 16 Aug 2015 00:10:27 +0000 (17:10 -0700)]
sorting.quick: only allow sorting array-capacity things.