60cb462826
ui.tools: Fix restart.
2013-03-23 17:39:48 -07:00
daca323523
ui.tools.error-list: Fix reset-memoized.
2013-03-23 17:35:18 -07:00
fb4eb84f7c
ui.tools.error-list: Rename error-list-gadget.
2013-03-23 17:14:04 -07:00
c1b4bcb58e
ui.gadgets.slider: Rename.
2013-03-23 16:47:04 -07:00
16964064b6
ui.tools: Fix definition? usage.
2013-03-23 16:46:51 -07:00
0b5c1b79c1
ui.gadgets: Rename grid-layout.
2013-03-23 16:41:02 -07:00
51e695857c
ui.gestures: Class vs word name duplication. Sorry for the lame names, this can get cleaned up with a tool once there are no more conflicts.
2013-03-23 16:12:03 -07:00
8c19602ae9
assocs: Add of and ?of. Change all the things at once! Fixes #701 .
2013-03-23 14:59:07 -07:00
a440b2a909
tools.completion: matching names.
2013-03-20 16:51:09 -07:00
ef98b7af53
tools, ui.tools: Rename complete-P"? to complete-pathname?
2013-03-20 16:18:30 -07:00
e35c142195
ui.tools.browser.popups: fix in/out links popups.
2013-03-12 09:10:16 -07:00
8c88e0448a
ui: change selected gadgets to a hash-set.
2013-03-10 16:13:30 -07:00
c0c769a7d8
compiler.units: changing definitions-changed to use a set.
2013-03-10 09:11:18 -07:00
5f165095dc
ui.tools.listener.completion: fix use of search-vocab-names.
2013-03-08 17:53:02 -08:00
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
Doug Coleman
John Benediktsson
Jon Harper