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

814 Commits (master)

Author SHA1 Message Date
John Benediktsson 115b7b62df basis: removing unnecessary method stack effects. 2020-09-09 15:00:54 -07:00
John Benediktsson 0b7122350e Revert "ui.gadgets.borders: don't convert border-loc to fixnum." 
This reverts commit eb7aad96c0.
 2020-06-15 07:36:52 -07:00
John Benediktsson 4f51adf8bf Revert "ui: better support for Emacs-style key bindings." 
This reverts commit 928b4c6abc.
 2020-06-06 16:20:21 -07:00
John Benediktsson e446f34280 Revert "ui.gadgets.editors: adding Ctrl-u support." 
This reverts commit 046d128c97.
 2020-06-06 16:19:51 -07:00
John Benediktsson 5c04baf757 Revert "ui.gadgets.editors: make Ctrl-A select-all if at column 0." 
This reverts commit 9287b05d57.
 2020-06-06 16:19:50 -07:00
John Benediktsson 9287b05d57 ui.gadgets.editors: make Ctrl-A select-all if at column 0. 2020-05-29 14:56:58 -07:00
John Benediktsson 046d128c97 ui.gadgets.editors: adding Ctrl-u support. 2020-05-27 20:01:33 -07:00
John Benediktsson 928b4c6abc ui: better support for Emacs-style key bindings. 
This changes a bunch of things like Ctrl-E for edit becomes Alt-E
(Cmd-E on macOS).  I think that's overall nicer, but let's play with it.
 2020-05-27 19:49:30 -07:00
John Benediktsson 32fa577368 ui.gadgets.editors: can just use preedit-start>> as boolean. 2020-05-27 12:52:45 -07:00
John Benediktsson 82a34fe4b8 ui.gadgets.editors: fix off-by-one. 2020-05-27 11:50:04 -07:00
John Benediktsson c781933d6b ui.gadgets.editors: fix page-up/page-down behavior. 2020-05-27 11:43:29 -07:00
John Benediktsson f2189a32f4 ui.gadgets.editors: cleanup docs for $slots. 2020-05-27 11:43:12 -07:00
John Benediktsson d0a694a7fe ui.gadgets.tables: change hook>> to be called on all row-actions. 
Not just when a selected-row was available and action>> was called.
Also, call the hook after the action, not before.
 2020-05-27 09:59:42 -07:00
John Benediktsson 75d5a8a8f9 ui.gadgets.tables: cleanup docs for $slots. 2020-05-27 09:59:42 -07:00
John Benediktsson 130c1d8dd6 ui.gadgets.editors: fix page-up/page-down with one line. 2020-05-26 10:53:16 -07:00
John Benediktsson cf5bc20b1b ui.gadgets.icons: draw icon on top of selected background. 2020-05-18 20:56:25 -07:00
John Benediktsson 9635596b0b ui.gadgets.labels: only ceiling the height for now. 
This might align to every other pixel on a 2x display but it fixes some
rendering artifacts with borders on subpixel boundaries.
 2020-05-18 08:06:08 -07:00
John Benediktsson 06ff539b17 Revert "ui.gadgets.labels: make labels integer larger than text." 
This reverts commit 0b294c5d50.
 2020-05-18 08:02:06 -07:00
John Benediktsson 5d4a0b4f00 ui.gadgets.tracks: don't convert dims to floats in track-pref-dims-2. 2020-05-17 20:47:22 -07:00
John Benediktsson eb7aad96c0 ui.gadgets.borders: don't convert border-loc to fixnum. 2020-05-17 20:45:49 -07:00
John Benediktsson 0b294c5d50 ui.gadgets.labels: make labels integer larger than text. 2020-05-17 20:44:21 -07:00
John Benediktsson 457485dae7 ui.gadgets.labels: allow sub-pixel baseline and cap-height. 2020-05-16 11:18:11 -07:00
John Benediktsson 68f6eeb3ad ui.gadgets.packs: change pack-layout not to round. 2020-05-16 11:10:18 -07:00
John Benediktsson b3412e8930 ui.gadgets: formatting. 2020-05-16 10:07:35 -07:00
Doug Coleman 97532d020a ui.gadgets: Stale gestures can lose the associated gadget. 
The gesture queue can send messages where the
focusable-child has disappeared.

Handle ``M: f focusable-child*`` by doing nothing.

Fixes #2117.
 2020-03-06 19:05:27 -06:00
John Benediktsson 3efe23cc71 ui.gadgets.panes: fix tests under dark-theme. 2020-03-03 15:23:18 -08:00
John Benediktsson dc8e6e6799 ui.gadgets.paragraphs: need to merge height/metrics. 
Sometimes cap-height is false and we handle that differently.
 2020-02-27 21:53:39 -08:00
John Benediktsson 2379d27950 ui.gadgets.paragraphs: faster pref-dim. 
Now computing gadget-metrics once, before called (measure-metrics) twice,
the first time adding the result, the second time dropping the top of stack.
 2020-02-27 18:10:37 -08:00
John Benediktsson 1c5d417100 math.vectors: rename "v." to "vdot" 2020-02-26 12:40:16 -08:00
John Benediktsson c03a7b5ec2 ui.gadgets.panes: simplify <styled-label>. 2020-02-25 12:33:01 -08:00
John Benediktsson 1a84cede3b ui.gadgets.panes: change approach to nested-pane-stream. 2020-02-19 21:47:01 -08:00
John Benediktsson 2e5cec428a help.markup: adding a $slots word to document slots, use it. 2020-02-16 22:36:19 -08:00
John Benediktsson 7de25b9f20 ui.gadgets.panes: make it clear that pane/pack/paragraph are not streams. 2020-02-16 19:23:29 -08:00
John Benediktsson f651c8fd9a ui.gadgets.pane: rename pane-clear to clear-pane. 2020-02-16 19:17:29 -08:00
John Benediktsson 7b0f6efe7f ui.gadgets.panes: use style-stream. 2020-02-15 09:35:09 -08:00
John Benediktsson 94cbe2b479 ui.gadgets.panes: fix for big strings on windows and linux. 
Using 3639 grapheme length, which is win32 limit. Maybe cairo supports
4681 graphemes, but use the lower limit for now.
 2020-01-28 16:16:09 -08:00
John Benediktsson 77cd3aaede classes: use check-instance in a few places, to remove duplication. 2020-01-15 10:34:47 -08:00
kusumotonorio 2f2cb869f1 Revert Unnecessary Changes 2019-08-10 22:12:52 +09:00
kusumotonorio bada736a3f Input Completion Improvements 2019-08-10 22:02:17 +09:00
Doug Coleman 97b848a045 ui: Fix circular dependency. 2019-07-30 02:12:41 -05:00
KUSUMOTO Norio b83435c9a9 cocoa inline input using IM 2019-07-30 02:12:41 -05:00
nicolas-p f84cfc7209 Revert "ui.gadgets.labeled: flat colour on windows because of the gradient bug" 
This reverts commit b81a5f9c7a.
 2019-06-08 18:47:41 +02:00
John Benediktsson a3b439047f Revert "ui.gadgets.labeled: separate title-bar-interior with a comment why." 
This reverts commit cb575c1ba8.
 2019-06-08 18:47:41 +02:00
Alexander Iljin 7ad6784911 Revert "ui.gadgets.buttons: workaround for windows gradient bug" 
This reverts commit 20a663ab0b.
 2019-06-08 18:47:41 +02:00
John Benediktsson b246c06345 ui.gadgets.frames: default filled-cell to { 0 0 }. 2018-09-12 07:01:23 -07:00
Pi 7a248c0cda actually remove caret-color slot 2018-09-07 10:02:25 -07:00
Pi 7c383a52ba make the caret color themeable 2018-09-07 10:02:25 -07:00
Alexander Iljin 0637557cca *-docs: remove extra space character at the end of paragraghs 2018-08-21 10:45:52 -07:00
John Benediktsson 60fddddc0d ui.gadgets.sliders: prevent negative elevator-length. 2018-03-22 10:01:14 -07:00
John Benediktsson 52de821e19 ui.gadgets.worlds: rethrow error so traceback is more obvious. 2018-02-16 16:19:51 -08:00