steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity
28,122 Commits
33 Branches
119 Tags
249 MiB
Commit Graph

1482 Commits (8bb96cbfd136fa46bd9d4bc8c6f3f2d55c29f168)

Author SHA1 Message Date
Björn Lindqvist 8bb96cbfd1 ui.gadgets.incremental: fix so that the scrolled of gadgets are ungrafted 2015-10-18 17:35:26 +02:00
Björn Lindqvist 0f803aa84b ui.gadgets.tests: clear the layout queue, so test dont interfere with 
other tests
 2015-10-17 15:58:59 +02:00
Björn Lindqvist 27f54fc123 ui.gadgets.tests: fix the test (layout-queue is a vector now) 2015-10-16 22:28:31 +02:00
Björn Lindqvist d2181a9e71 ui.gadgets.incremental: trivial scrolling, maybe solves #1488? 2015-10-16 10:55:48 +02:00
Björn Lindqvist 4812cec634 ui.gadgets.buttons: memoize the roll button themes pens 
It reduces memory usage by about 10% for the #1488 test on my machine
and doesnt seem to have any bad side-effects.
 2015-10-16 09:20:29 +02:00
Björn Lindqvist 9af7be2ef9 ui: the layout-queue is more efficient as a vector than a dlist 
Improves memory usage in the #1488 example from about 20,4% to 17,4% on
my machine.
 2015-10-15 18:34:49 +02:00
Björn Lindqvist 1873eda1d2 ui.gadgets: ensure that layout-later yields if the queue gets to large 
This improves memory utilization a lot for #1488. Otherwise the queue
grows to two million entries before being processed.
 2015-10-15 16:29:49 +02:00
Björn Lindqvist c0d1d2f331 ui.*: a little more ui docs 2015-10-15 16:27:15 +02:00
Björn Lindqvist 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
Björn Lindqvist 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
John Benediktsson 2dea9bab74 ui.backend.gtk: small typo fix. 2015-09-28 14:48:20 -07:00
Björn Lindqvist 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
John Benediktsson d5c5a1389d ui.gadgets.paragraphs: pref-dim of { 0 0 } if no children. 2015-09-20 09:45:05 -07:00
John Benediktsson e477f6996f Fix comments to be ! not #!. 2015-09-08 16:15:10 -07:00
John Benediktsson 8db66d9dd3 ui.gestures: update action gesture docs, thanks @jonenst! 2015-08-24 10:27:00 -07:00
Doug Coleman 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
Doug Coleman 3649dd2764 ui.backend.cocoa.views: Don't throw an error on weird mouse buttons. Fixes #1453. 2015-08-18 23:22:55 -07:00
John Benediktsson ff880262cb ui.gadgets.editors: make it easier to set and get default-text. 2015-08-16 14:29:21 -07:00
John Benediktsson 6de244da44 ui.tools.browser: use default-text to make search box prettier. 2015-08-16 13:45:29 -07:00
John Benediktsson f24444e990 ui.gadgets.editors: allow action-fields to have a default text. 2015-08-16 13:45:16 -07:00
John Benediktsson f3608deb63 ui.tools.browser: better to remove page-color than change it. 2015-08-16 12:58:38 -07:00
John Benediktsson 7dd0acbf0f help.stylesheet: add back page-color and override in ui.tools.browser. 2015-08-16 12:54:56 -07:00
John Benediktsson 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
John Benediktsson 6b440e5e81 ui.gadgets: fix help-lint warnings. 2015-08-16 10:46:28 -07:00
John Benediktsson 15b0753457 ui.gadgets: fix some tests. 2015-08-16 10:41:16 -07:00
John Benediktsson 29d4908ff5 ui.gadgets: move some buttons-tests to toolbar-tests. 2015-08-16 10:33:52 -07:00
John Benediktsson 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
John Benediktsson cb575c1ba8 ui.gadgets.labeled: separate title-bar-interior with a comment why. 2015-08-16 08:04:58 -07:00
nicolas-p 87a31f1f35 ui.gadgets.labeled: fixed USING 2015-08-16 07:54:45 -07:00
nicolas-p 61f8db4c81 ui.gadgets.theme.light: colour changes 2015-08-16 07:54:45 -07:00
nicolas-p b81a5f9c7a ui.gadgets.labeled: flat colour on windows because of the gradient bug 2015-08-16 07:54:45 -07:00
nicolas-p 2a7cc29693 ui.tools.walker: improved status text 2015-08-16 07:54:45 -07:00
nicolas-p bfb81f67cf ui.tools.browser: navigation fix 2015-08-16 07:54:16 -07:00
nicolas-p fff4ea78ec ui.gadgets.color: changed error colour 
Reverted a previous unintentional change
 2015-08-16 07:54:16 -07:00
nicolas-p bab79fe04c ui.theme.light: using HEXCOLOR 2015-08-16 07:54:16 -07:00
nicolas-p 1817a4b8cb Refactored prev/next buttons code 2015-08-16 07:54:16 -07:00
nicolas-p 55c994f1c1 ui.gadgets.scrollers: removed 1-px gap 2015-08-16 07:53:34 -07:00
nicolas-p bf2b829846 ui.gadgets.colors moved to ui.gadgets.theme 2015-08-16 07:53:33 -07:00
nicolas-p 23a1174e81 Fixed USING in slots and deploy 2015-08-16 07:53:33 -07:00
nicolas-p 9f8736c13c Moved toolbar docs 2015-08-16 07:53:33 -07:00
nicolas-p 355e14cb5b New buttons 2015-08-16 07:53:33 -07:00
nicolas-p 9d5336777d Toolbar button pressed background 2015-08-16 07:53:33 -07:00
nicolas-p 4335698ceb ui.gadgets.colors: Several colour changes 2015-08-16 07:53:33 -07:00
nicolas-p a0eaf7a66b Fixed alignment issue in toolbars 2015-08-16 07:53:32 -07:00
nicolas-p 40c6e04128 Fixed USING: 2015-08-16 07:53:32 -07:00
nicolas-p 279795dbfd Red/orange/green thread status in Walker 
John did most of the work
 2015-08-16 07:53:32 -07:00
nicolas-p 61552d2901 Simplified toolbar code 2015-08-16 07:53:32 -07:00
nicolas-p 2e067a3705 Small change in roll button colour 2015-08-16 07:53:32 -07:00
nicolas-p 883d7e09d9 Other small adjustment in browser toolbar 2015-08-16 07:53:32 -07:00
nicolas-p 32ae5da655 Small adjustments in browser toolbar 2015-08-16 07:53:32 -07:00