| .. |
|
backend
|
windows: Fix user32/shcore DPI functions.
|
2020-04-11 20:36:21 -05:00 |
|
baseline-alignment
|
ui.gadgets.paragraphs: need to merge height/metrics.
|
2020-04-11 20:35:23 -05:00 |
|
clipboards
|
using [ ... ] [ drop ] if* instead of dup [ ... ] [ 2drop ] if.
|
2016-07-11 21:01:03 -07:00 |
|
commands
|
*-docs: replace double spaces with single spaces
|
2017-06-05 13:16:07 -07:00 |
|
debugger
|
ui.debugger: don't rethrow at all. it just makes an infinite loop.
|
2016-04-18 09:27:32 -07:00 |
|
event-loop
|
ui: rename ui-windows to worlds.
|
2018-01-22 13:17:23 -08:00 |
|
gadgets
|
ui.gadgets: Stale gestures can lose the associated gadget.
|
2020-04-11 20:36:11 -05:00 |
|
gestures
|
Input Completion Improvements
|
2019-08-10 22:02:17 +09:00 |
|
images
|
basis: Load images.{tiff,png} by default for FreeBSD. Add platforms back.
|
2019-02-09 18:50:15 +00:00 |
|
operations
|
ui.operations: add docs for +secondary+.
|
2018-01-22 10:59:31 -08:00 |
|
pens
|
more test IN: cleanup.
|
2018-02-15 09:20:01 -08:00 |
|
pixel-formats
|
ui.pixel-formats: apply @jonenst's patch for #1859.
|
2017-10-09 10:01:41 -07:00 |
|
render
|
help.markup: adding a $slots word to document slots, use it.
|
2020-04-11 20:34:27 -05:00 |
|
text
|
ui.text.core-text: apply @kusumotonorio patch.
|
2020-04-11 20:36:27 -05:00 |
|
theme
|
prettyprint.stylesheet: s/stack-effect-style/base-effect/style/.
|
2020-04-11 20:34:57 -05:00 |
|
tools
|
ui.tools.browser: use unicode next/prev arrows.
|
2020-04-11 20:34:50 -05:00 |
|
traverse
|
ui.traverse: cleanup tests a little.
|
2017-10-25 19:00:47 -07:00 |
|
authors.txt
|
Move 'ui' to basis
|
2008-08-07 21:12:50 -05:00 |
|
summary.txt
|
Move 'ui' to basis
|
2008-08-07 21:12:50 -05:00 |
|
ui-docs.factor
|
*-docs: remove extra space character at the end of paragraghs
|
2018-08-21 10:45:52 -07:00 |
|
ui.factor
|
continuations[-docs]: add the finally word
|
2019-04-22 21:57:51 -07:00 |
38a7945bf4