3394abc3b6
ui.backend.cocoa.views: spacing.
2013-03-29 14:47:53 -07:00
b06d1bd16b
ui.backend.cocoa.views: simplify and add os version check.
2013-03-29 14:29:41 -07:00
747fd7531c
ui.backend.cocoa.views: maybe this works on 10.6.
2013-03-29 14:18:57 -07:00
dedb5c7a9a
ui.tools: Fix restart.
2013-03-23 17:39:48 -07:00
4ace0fae0a
ui.tools.error-list: Fix reset-memoized.
2013-03-23 17:35:18 -07:00
be7026b492
ui.tools.error-list: Rename error-list-gadget.
2013-03-23 17:14:04 -07:00
26dbe03f6f
ui.gadgets.slider: Rename.
2013-03-23 16:47:04 -07:00
6e2019a21b
ui.tools: Fix definition? usage.
2013-03-23 16:46:51 -07:00
34e87d9823
ui.gadgets: Rename grid-layout.
2013-03-23 16:41:02 -07:00
dcccd60268
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
38f11415c8
assocs: Add of and ?of. Change all the things at once! Fixes #701 .
2013-03-23 14:59:07 -07:00
5a569a2474
tools.completion: matching names.
2013-03-20 16:51:09 -07:00
8b06a2b8ab
tools, ui.tools: Rename complete-P"? to complete-pathname?
2013-03-20 16:18:30 -07:00
9872a8bec9
ui.tools.browser.popups: fix in/out links popups.
2013-03-12 09:10:16 -07:00
b0a83ecf97
ui: change selected gadgets to a hash-set.
2013-03-10 16:13:30 -07:00
3be783eb67
compiler.units: changing definitions-changed to use a set.
2013-03-10 09:11:18 -07:00
2be6d81feb
ui.tools.listener.completion: fix use of search-vocab-names.
2013-03-08 17:53:02 -08:00
a99aaa79c7
ui.backend.cocoa.views: add platforms.txt.
2013-01-16 14:28:32 -08:00
3587ae7826
ui.backend.cocoa.views: fix build error on older OSX versions.
2013-01-16 10:46:39 -08:00
999fba8ec4
X11, give same input as gtk when pressing shift, tab, alt..
2013-01-11 11:58:37 -08:00
9c8d3d8c0d
X11 XK_ISO_Left_Tab is shift tab
2013-01-11 11:58:21 -08:00
e2f4c595e0
ui.gadgets.editors: fix stack effect of change-caret quotation.
2012-12-28 17:01:32 -08:00
589af77192
ui.baseline-alignment: fix float shift on retina.
2012-12-17 11:43:05 -08:00
a1249ea026
ui.text.core-text: fix jumping "def".
2012-12-11 08:06:02 -08:00
30b779a700
Revert "ui.backend.cocoa.views: make compatible with 10.6."
...
This reverts commit 7f6f742fc3
2012-11-29 18:43:39 -08:00
7f6f742fc3
ui.backend.cocoa.views: make compatible with 10.6.
2012-11-26 14:48:42 -08:00
fbdcc2eb42
winapi window resize
2012-11-26 14:39:55 -08:00
d72f57eb8e
OSX window resize
2012-11-26 14:39:55 -08:00
d48c0c849e
X11 window resize
2012-11-26 14:39:54 -08:00
64373cee20
Add resize-window and relayout-window
2012-11-26 14:39:54 -08:00
879177f189
opengl: properly scale viewports.
2012-11-01 17:12:13 -07:00
890700df95
ui.backend.cocoa.views: only set gl-scale-factor if > 1.0.
2012-11-01 16:59:45 -07:00
3b1b118f38
core-text: retina displays should use "2x" fonts.
2012-11-01 16:28:33 -07:00
7bf38799e4
opengl: adding support for a gl-scale-factor.
2012-11-01 14:48:12 -07:00
03de9418a3
ui.backend.cocoa.views: [self setWantsBestResolutionOpenGLSurface:YES];
2012-11-01 14:29:03 -07:00
f955178bc4
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
43ea17c755
windows: Attempt to fix circularity.
2012-10-24 19:03:25 -07:00
1c4b2bfa31
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
bf891c9634
change some "2drop 2drop" to "4drop".
2012-10-23 12:21:30 -07:00
2455c276e3
ui.tools.listener: adding path completion to listener.
2012-10-22 18:51:52 -07:00
8ff5d1cdbc
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
50ffb0c2d1
update some docs that should use $quotation.
2012-09-27 11:09:17 -07:00
0819dffb67
ui.tools.listener.completion: color private vocabs red in completion-mode.
2012-09-25 14:49:49 -07:00
d7293ec607
ui.tools.listener.completion: fix row color for words in our search list.
2012-09-25 11:45:38 -07:00
8273a0bbbb
tools.completion: moving "complete-?" words.
2012-09-25 09:10:44 -07:00
c6a404b289
ui.gadgets.paragraphs: cache width in "line" object.
2012-09-24 18:29:51 -07:00
a8e0ccfd5f
ui.tools.listener: adding COLOR: completions.
2012-09-24 15:07:30 -07:00
a4c1780c8e
ui.tools.browser.popups: fix hand-loc get-global.
2012-09-21 18:42:00 -07:00
c1f588d669
ui.text: more globals.
2012-09-21 18:40:38 -07:00
63f8a3720e
ui: hand-loc and hand-click-loc should be global.
2012-09-21 18:32:43 -07:00
John Benediktsson
Doug Coleman
Jon Harper