420ca29795
ui.tools.listener: make it so up/down arrows can be used for history
...
cycling
It's how it works in most CLIs so it's nice if it works in Factor too.
2015-10-14 03:05:16 +02:00
f9e5d4f22c
ui.backend.gtk: tune the order of the setup tasks in (open-window)
...
The fix for #1307 made bug #776 come back. Apparently gtk is kind of
britle so the widget setup must be done in a very specific order.
2015-10-14 00:22:26 +02:00
2dea9bab74
ui.backend.gtk: small typo fix.
2015-09-28 14:48:20 -07:00
94f863f33e
ui.backend.gtk: make it so configure-im is called after realize ( #1307 )
...
gtk_im_context_set_client_window must be called with a realized window
otherwise IM won't work,
http://lists.maemo.org/pipermail//maemo-developers/2006-January/002337.html
2015-09-28 15:33:36 +02:00
d5c5a1389d
ui.gadgets.paragraphs: pref-dim of { 0 0 } if no children.
2015-09-20 09:45:05 -07:00
e477f6996f
Fix comments to be ! not #!.
2015-09-08 16:15:10 -07:00
8db66d9dd3
ui.gestures: update action gesture docs, thanks @jonenst!
2015-08-24 10:27:00 -07:00
f6c1d00c37
ui.baseline-alignment: Don't divide f by 2. Also, can't put ``0 or`` after
...
``max-cap-height`` because it breaks something else.
2015-08-19 17:20:45 -05:00
3649dd2764
ui.backend.cocoa.views: Don't throw an error on weird mouse buttons. Fixes #1453 .
2015-08-18 23:22:55 -07:00
ff880262cb
ui.gadgets.editors: make it easier to set and get default-text.
2015-08-16 14:29:21 -07:00
6de244da44
ui.tools.browser: use default-text to make search box prettier.
2015-08-16 13:45:29 -07:00
f24444e990
ui.gadgets.editors: allow action-fields to have a default text.
2015-08-16 13:45:16 -07:00
f3608deb63
ui.tools.browser: better to remove page-color than change it.
2015-08-16 12:58:38 -07:00
7dd0acbf0f
help.stylesheet: add back page-color and override in ui.tools.browser.
2015-08-16 12:54:56 -07:00
81cbf71d27
help: make the default print prev/next links but then modify ui.tools.browser to do what it used to do.
2015-08-16 11:33:24 -07:00
6b440e5e81
ui.gadgets: fix help-lint warnings.
2015-08-16 10:46:28 -07:00
15b0753457
ui.gadgets: fix some tests.
2015-08-16 10:41:16 -07:00
29d4908ff5
ui.gadgets: move some buttons-tests to toolbar-tests.
2015-08-16 10:33:52 -07:00
bfbab98d57
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.
2015-08-16 10:22:11 -07:00
cb575c1ba8
ui.gadgets.labeled: separate title-bar-interior with a comment why.
2015-08-16 08:04:58 -07:00
87a31f1f35
ui.gadgets.labeled: fixed USING
2015-08-16 07:54:45 -07:00
61f8db4c81
ui.gadgets.theme.light: colour changes
2015-08-16 07:54:45 -07:00
b81a5f9c7a
ui.gadgets.labeled: flat colour on windows because of the gradient bug
2015-08-16 07:54:45 -07:00
2a7cc29693
ui.tools.walker: improved status text
2015-08-16 07:54:45 -07:00
bfb81f67cf
ui.tools.browser: navigation fix
2015-08-16 07:54:16 -07:00
fff4ea78ec
ui.gadgets.color: changed error colour
...
Reverted a previous unintentional change
2015-08-16 07:54:16 -07:00
bab79fe04c
ui.theme.light: using HEXCOLOR
2015-08-16 07:54:16 -07:00
1817a4b8cb
Refactored prev/next buttons code
2015-08-16 07:54:16 -07:00
55c994f1c1
ui.gadgets.scrollers: removed 1-px gap
2015-08-16 07:53:34 -07:00
bf2b829846
ui.gadgets.colors moved to ui.gadgets.theme
2015-08-16 07:53:33 -07:00
23a1174e81
Fixed USING in slots and deploy
2015-08-16 07:53:33 -07:00
9f8736c13c
Moved toolbar docs
2015-08-16 07:53:33 -07:00
355e14cb5b
New buttons
2015-08-16 07:53:33 -07:00
9d5336777d
Toolbar button pressed background
2015-08-16 07:53:33 -07:00
4335698ceb
ui.gadgets.colors: Several colour changes
2015-08-16 07:53:33 -07:00
a0eaf7a66b
Fixed alignment issue in toolbars
2015-08-16 07:53:32 -07:00
40c6e04128
Fixed USING:
2015-08-16 07:53:32 -07:00
279795dbfd
Red/orange/green thread status in Walker
...
John did most of the work
2015-08-16 07:53:32 -07:00
61552d2901
Simplified toolbar code
2015-08-16 07:53:32 -07:00
2e067a3705
Small change in roll button colour
2015-08-16 07:53:32 -07:00
883d7e09d9
Other small adjustment in browser toolbar
2015-08-16 07:53:32 -07:00
32ae5da655
Small adjustments in browser toolbar
2015-08-16 07:53:32 -07:00
c0e253a4a5
Revert previous colour change
...
Changed my mind
2015-08-16 07:53:31 -07:00
f240f189e1
Improved contents table in Inspector
2015-08-16 07:53:31 -07:00
80307926f6
Colour changes
2015-08-16 07:53:31 -07:00
f4e8511c0a
Fixed compatibility issue with labeled gadget
2015-08-16 07:53:31 -07:00
18a4171572
Toolbar no longer uses images
2015-08-16 07:53:31 -07:00
008614e6cb
Authors and summary for ui.gadgets.toolbar
2015-08-16 07:53:31 -07:00
79e273a250
Authors and summary for ui.gadgets.colors
2015-08-16 07:53:30 -07:00
44a6228931
Removing menu item images
...
I’m under the impression that they’ve never been used.
2015-08-16 07:53:30 -07:00
9d464fea9a
Removing menu images
2015-08-16 07:53:30 -07:00
086c90822d
Removing labeled block images
2015-08-16 07:53:30 -07:00
e66910c3bd
Centring prev/next links in Browser
2015-08-16 07:53:30 -07:00
0bdeb0c60f
Prev/next buttons in Browser
2015-08-16 07:53:30 -07:00
c8b63fa4b0
Fixed USING:
2015-08-16 07:53:30 -07:00
844da3fdfd
ui.tools.browser: using format-toolbar
2015-08-16 07:53:29 -07:00
359b42ab15
Removed ui.gadgets.lines
...
with-lines moves to ui.tools.common, white-interior moves to
ui.gadgets.colors
2015-08-16 07:53:29 -07:00
ea40508cd9
New error-list
2015-08-16 07:53:29 -07:00
d0b4f7d9a3
Using ui.gadgets.colors everywhere
2015-08-16 07:53:29 -07:00
ba4a6b780a
Added ui.gadgets.colors
...
All colour constants in the same place
2015-08-16 07:53:29 -07:00
dbe9aebe5d
New menu
2015-08-16 07:53:29 -07:00
d3b27e44b4
Actual colours for labeled gadgets
2015-08-16 07:53:28 -07:00
48376ff10c
Using filled-border in status bar
2015-08-16 07:53:28 -07:00
5ebf88bc0c
Fixed USING: in debugger
2015-08-16 07:53:28 -07:00
c195efbdff
New inspector
2015-08-16 07:53:28 -07:00
30091bee91
White interior and margins in Traceback
2015-08-16 07:53:28 -07:00
6a528d3978
New debugger
2015-08-16 07:53:28 -07:00
52135e2df7
Removed white interior
...
It was in the wrong place
2015-08-16 07:53:28 -07:00
a35924d1a8
Move vivid colour in Browser header
...
To go with the green header in the Walker.
2015-08-16 07:53:27 -07:00
b8b3362fa0
Labeled: added colour lines, framed labeled and fixed keyboard focus
...
Colours lines are all yellow at the moment. This will change later.
2015-08-16 07:53:27 -07:00
67afaa5bce
Fixed USING: (again)
2015-08-16 07:53:27 -07:00
09f68f7a98
Traceback and Walker now use the new labeled gadget
2015-08-16 07:53:27 -07:00
06fa803cca
Fixed USING:
2015-08-16 07:53:27 -07:00
f99f32a990
New labeled gadget
...
The new labeled gadget is not a frame anymore.
2015-08-16 07:53:27 -07:00
38447c276a
Restoring the "add-" prefix
2015-08-16 07:53:27 -07:00
249bd99400
Toolbar, lines and margins used in listener and browser
2015-08-16 07:53:27 -07:00
265a855217
Common margins for all panes
...
(Is this the right place to put it?)
2015-08-16 07:53:26 -07:00
8c0fbca360
New lines dictionary
...
To draw 1-px grey lines between panes
2015-08-16 07:53:26 -07:00
c75f6155cf
New toolbar dictionary
2015-08-16 07:53:26 -07:00
eb21e05fef
Revert "solid-underlined"
...
This reverts commit 7e4450776d935a94e1cc013f18b9818ac9af91cd.
2015-08-16 07:53:26 -07:00
9991aa2f3b
New labeled block images
...
Using grey85 (217 217 217)
2015-08-16 07:53:26 -07:00
656afe2ebd
New menu border images
2015-08-16 07:53:26 -07:00
a0bc138465
Menu border
...
Added 3 px to menu borders.
2015-08-16 07:53:26 -07:00
ae9b9b59eb
Use colour constants
2015-08-16 07:53:25 -07:00
376eb20f8b
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.
2015-08-16 07:53:25 -07:00
1371cb4090
Margins
...
Margins increased in the listener and status bar.
2015-08-16 07:53:25 -07:00
bf74e394ba
Unified toolbar
...
New toolbar with a grey background.
2015-08-16 07:53:25 -07:00
8a1c75fbed
solid-underlined
...
New pen that acts like solid but only draws the bottom border
2015-08-16 07:53:25 -07:00
d1594a60db
Transparent buttons
...
Transparent button backgrounds (for the unified toolbar)
2015-08-16 07:53:25 -07:00
8d9c14ae04
New scrollbars
2015-08-16 07:53:25 -07:00
a246a33c3e
New scrollbars
...
The scrollbar background is now transparent and the scrollbars are
thinner.
2015-08-16 07:53:25 -07:00
ceb75057da
change ERROR: words from throw-foo back to foo.
2015-08-13 16:13:05 -07:00
b6be8685c3
basis: ERROR: changes.
2015-08-13 03:20:39 -07:00
9f0a1ed730
cocoa: Syntax is funky, so regularize it by parsing CLASS: ; and METHOD: ; and COCOA-PROTOCOL: token.
2015-08-12 19:44:07 -05:00
e0d1b14e5c
factor: don't need FROM: namespaces => set or namespaces:set anymore
2015-08-12 11:25:57 -05:00
330c7ba156
factor: Removing SLOT: nth/at/global in favor of using change: at for tuple slots named ``at`` and change-at for hashtables.
...
Redo many FROM: and QUALIFIED: and using lists.
2015-08-12 08:49:02 -05:00
00338f62f3
factor: put inline on same line as ; for experimentation
2015-08-10 12:55:27 -05:00
9d021bb081
opengl: Temporary (?) fix for the ui. Issue #1379 .
...
Throwing gl errors is not helpful because the ui gets messed up anyway. Print the error and continue. Maybe we should add a section in the F3 error window for opengl errors instead of printing them in the global stdout.
- We could also use gl-error on every platform except for MacOSX 10.11
- We could fix the underlying gl drawing commands that cause this error.
2015-08-04 12:28:59 -07:00
3649d21541
ui: cleanup some usings.
2015-07-28 19:14:14 -07:00
acded37575
ui.images: don't need to << >>.
2015-07-28 19:14:01 -07:00
Björn Lindqvist
John Benediktsson
Doug Coleman
nicolas-p