295c87b8b1
ui.backend.cocoa.views: add platforms.txt.
2013-01-16 14:28:32 -08:00
3f987b2ffb
ui.backend.cocoa.views: fix build error on older OSX versions.
2013-01-16 10:46:39 -08:00
8587b90930
X11, give same input as gtk when pressing shift, tab, alt..
2013-01-11 11:58:37 -08:00
6afe04bfc1
X11 XK_ISO_Left_Tab is shift tab
2013-01-11 11:58:21 -08:00
a46bcfe85c
ui.gadgets.editors: fix stack effect of change-caret quotation.
2012-12-28 17:01:32 -08:00
43b541d11b
ui.baseline-alignment: fix float shift on retina.
2012-12-17 11:43:05 -08:00
e01ff14fa0
ui.text.core-text: fix jumping "def".
2012-12-11 08:06:02 -08:00
5fd5ab6711
Revert "ui.backend.cocoa.views: make compatible with 10.6."
...
This reverts commit 7f6f742fc3
2012-11-29 18:43:39 -08:00
5b5ee71a6a
ui.backend.cocoa.views: make compatible with 10.6.
2012-11-26 14:48:42 -08:00
f5f767e0dc
winapi window resize
2012-11-26 14:39:55 -08:00
26beb27680
OSX window resize
2012-11-26 14:39:55 -08:00
8948e8a455
X11 window resize
2012-11-26 14:39:54 -08:00
b023ebf7a5
Add resize-window and relayout-window
2012-11-26 14:39:54 -08:00
ab3d6b1d13
opengl: properly scale viewports.
2012-11-01 17:12:13 -07:00
43d91bcf08
ui.backend.cocoa.views: only set gl-scale-factor if > 1.0.
2012-11-01 16:59:45 -07:00
fcce5a2af9
core-text: retina displays should use "2x" fonts.
2012-11-01 16:28:33 -07:00
44b7bbc76d
opengl: adding support for a gl-scale-factor.
2012-11-01 14:48:12 -07:00
4efa984637
ui.backend.cocoa.views: [self setWantsBestResolutionOpenGLSurface:YES];
2012-11-01 14:29:03 -07:00
1a5f2ad961
ui.backend.gtk: Save the clipboard to the global clipboard so that it doesn't get deleted when Factor exits. Fixes #548 . Add paste-selection, but commented out for now.
2012-10-29 10:56:34 -07:00
2921829b79
windows: Attempt to fix circularity.
2012-10-24 19:03:25 -07:00
0ae18456fd
windows.shell32: Add a way to find out the kind of executable of a file on
...
windows. Inline a word.
2012-10-24 16:16:35 -07:00
013160df9a
change some "2drop 2drop" to "4drop".
2012-10-23 12:21:30 -07:00
ca9137767b
ui.tools.listener: adding path completion to listener.
2012-10-22 18:51:52 -07:00
b3ff75cec2
ui.backend.gtk: better gesture for shift tab
...
gdk emits ISO_Left_Tab for shift + tab. Not sure if factor should silently
transform that in tab..
With this patch, shift tabs emits the following gesture:
T{ key-down { mods { S+ } } { sym "TAB" } }
2012-09-29 15:54:15 +02:00
225e87339b
update some docs that should use $quotation.
2012-09-27 11:09:17 -07:00
80e2309e17
ui.tools.listener.completion: color private vocabs red in completion-mode.
2012-09-25 14:49:49 -07:00
61fa05942b
ui.tools.listener.completion: fix row color for words in our search list.
2012-09-25 11:45:38 -07:00
a5b91e181a
tools.completion: moving "complete-?" words.
2012-09-25 09:10:44 -07:00
5e57a8258d
ui.gadgets.paragraphs: cache width in "line" object.
2012-09-24 18:29:51 -07:00
2f99a33e36
ui.tools.listener: adding COLOR: completions.
2012-09-24 15:07:30 -07:00
ea276574c5
ui.tools.browser.popups: fix hand-loc get-global.
2012-09-21 18:42:00 -07:00
a32ac00389
ui.text: more globals.
2012-09-21 18:40:38 -07:00
be85b3bee3
ui: hand-loc and hand-click-loc should be global.
2012-09-21 18:32:43 -07:00
f1c62deb03
ui: use "windows get-global".
2012-09-21 15:39:49 -07:00
84c1137eb4
windows.uniscribe: Render image lazily. Speeds up panes benchmark.
2012-09-21 09:54:40 -07:00
07194b4741
ui.text.pango: lazy render images like core-text backend.
2012-09-21 08:16:48 -07:00
7e3391ffb0
ui.gadgets.tables: i think this is clearer.
2012-09-20 18:24:57 -07:00
98a8230d1c
ui.gadgets.tables: fix stack effect names.
2012-09-20 18:24:57 -07:00
6d447cb939
ui.gadgets.tables: cache table rows only on model-changed.
2012-09-20 18:24:57 -07:00
37b27b7fbe
ui.gadgets.tables: reduce generic dispatch.
2012-09-20 18:24:57 -07:00
88b196dc8c
ui.gadgets.tables: some performance improvements.
2012-09-20 08:34:43 -07:00
cfa87365e3
ui.baseline-alignment: add concept of "aligned-gadget".
...
This type of gadget caches baseline and cap-height for performance.
2012-09-18 15:48:49 -07:00
b80992b27a
Revert "ui.gadgets.labels: use font-metrics directly."
...
This reverts commit d9fdd71d64
2012-09-18 09:19:29 -07:00
45f0db5f78
ui.gadgets: add some inline.
2012-09-17 17:21:31 -07:00
25aadd2dc2
ui.text.pango: don't create unnecessary font objects.
2012-09-17 14:17:57 -07:00
eb1a4db801
ui.gadgets.labels: use font-metrics directly.
2012-09-17 14:12:25 -07:00
8e3c79b841
ui.gadgets.paragraphs: cache the wrapped paragraph for performance.
2012-09-17 14:12:25 -07:00
d5900ba7ee
ui.gadgets: inline gadget-child and nth-gadget.
2012-09-17 14:12:25 -07:00
27f445d505
assocs: Add sift-keys and sift-values. Remove three other implementations
...
of sift-values and use the new one.
2012-08-23 22:36:10 -07:00
1ee1a793de
ui.tools.browser: fix stack effect name.
2012-08-17 10:13:44 -07:00
John Benediktsson
Jon Harper
Doug Coleman