]> gitweb.factorcode.org Git - factor.git/history - basis/ui
windows.ole32: use sets in tests.
[factor.git] / basis / ui /
2016-06-22 Alexander Iljin*-docs: remove extra spaces from the end of various...
2016-06-21 Björn Lindqvistui.gestures: fix the cocoa ui backend which i broke...
2016-06-20 Björn Lindqvistui.backend.*: new vocab for keysym handling which is...
2016-06-20 Björn Lindqvistx11.keysymdef, ui.backend.x11: vocab for all of x11...
2016-06-18 Björn Lindqvistui.backend.gtk.io: refactoring which removes ui.backend...
2016-06-18 Björn Lindqvistui.backend.gtk: add handling of insert key (#1656)
2016-06-17 Björn Lindqvistui.backend.gtk: use a global variable to store the...
2016-06-17 Björn Lindqvistui.backend.gtk: hi-res icon awesomeness
2016-05-31 Björn Lindqviststyle thing: indenting tuple slots
2016-05-22 Alexander Iljinbrowser: trim whitespace from query before search.
2016-05-22 Alexander Iljindocs: minor fixes and amendments.
2016-05-22 John Benediktssonui.gadgets.theme: rename to ui.theme.images.
2016-05-22 John Benediktssonui.theme.switching: default font colors.
2016-05-12 John Benediktssonui.gadgets.table: mouse-color uses theme.
2016-05-12 John Benediktssonui.tools.debugger: set theme fonts on table...
2016-05-12 John Benediktssonui.theme.switching: adding back light-mode and dark...
2016-05-12 John Benediktssonui.theme.switching: adding some docs.
2016-05-12 John Benediktssonui.theme.switching: add a switch-theme word.
2016-05-10 John Benediktssonui.theme: remove unused url-color hook.
2016-05-10 John Benediktssonui.gadgets.theme: fix windows bootstrap.
2016-05-10 John Benediktssonui.theme: updates to color scheme.
2016-05-10 nicolas-pMoved both themes into ui.theme
2016-05-10 nicolas-pUpdated scrollbar buttons
2016-05-10 nicolas-pFixed USING
2016-05-10 nicolas-pAdded listener styles in theme switching
2016-05-10 nicolas-pSome color changes in both themes
2016-05-10 nicolas-pChanged warning background in light theme
2016-05-10 nicolas-pSmall change in themes
2016-05-10 nicolas-pAdded "require" for theme.light and theme.dark
2016-05-10 nicolas-pAdded prompt style and tip style in switching
2016-05-10 nicolas-pScrollbar buttons with transparent background
2016-05-10 nicolas-pAuthor and summary for ui.gadgets.theme.switching
2016-05-10 nicolas-pRenaming themes
2016-05-10 nicolas-pImplemented theme switching
2016-05-10 nicolas-pAdded colors in light and dark themes
2016-05-10 nicolas-pSet text color almost everywhere
2016-05-10 nicolas-pAuthor and summary for dark theme
2016-05-10 nicolas-pReplaced hard-coded colors with constants
2016-05-10 nicolas-pBetter copyright format
2016-05-07 John Benediktssonui: ceiling world dimensions when opening.
2016-04-30 John Benediktssonui.tools.listener: fix introduction font sizes.
2016-04-23 John Benediktssonui.gadgets.sliders: this fixes the previous test failure.
2016-04-23 John BenediktssonRevert "ui.gadgets.scrollers: fix tests for scrollbar...
2016-04-23 John Benediktssonui.gadgets.scrollers: fix tests for scrollbar change.
2016-04-23 John Benediktssonui.gadgets.sliders: restoring the arrows (temporarily?).
2016-04-23 John Benediktssonui.gadgets.scrollers: 4 space indentation.
2016-04-23 nicolas-pMade scrollers disappear when disabled
2016-04-23 nicolas-pui.gadgets.sliders: removed buttons
2016-04-22 Björn LindqvistDocs: ui and compiler
2016-04-21 John Benediktssonui: adding a WINDOW: that is like MAIN-WINDOW: but...
2016-04-18 Doug Colemanui.debugger: don't rethrow at all. it just makes an...
2016-04-07 Doug Colemanui.debugger: quotation stack effect wants ( .. -- ...
2016-04-06 Doug Colemanfactor: fix whitespace at end of files.
2016-04-04 John Benediktssonui.backend.gtk: simplify calls to gtk_init.
2016-04-04 Doug Colemanui.gadgets.corners: move to unmaintained. trim using...
2016-04-04 John Benediktssonui.backend.gtk: simplify <window-handle>.
2016-04-02 John Benediktssonui.debugger: copyrighter.
2016-04-02 Doug Colemanui.debugger: If Linux has a ui error on startup you...
2016-03-31 John BenediktssonRevert "ui.backend.gtk: try yield in idle callback."
2016-03-31 John BenediktssonRevert "ui.backend.gtk: only use the timer when not...
2016-03-31 John Benediktssonunicode: make this the API for all unicode things.
2016-03-30 John Benediktssonopengl: log all mac os errors where framebuffer is...
2016-03-30 John Benediktssonui: change active? back to a boolean.
2016-03-30 John Benediktssonui.backend.gtk: only use the timer when not io.backend...
2016-03-30 John Benediktssonui.backend.gtk: try yield in idle callback.
2016-03-30 John Benediktssonui.backend.gtk: simplify.
2016-03-30 John Benediktssonui.gadgets: fix tests for namespaces:set.
2016-03-30 Doug Colemanui.backend.windows: fix set.
2016-03-30 John Benediktssondisambiguate namespaces:set and sets:set.
2016-03-29 John BenediktssonHopefully fix stack effects of error hooks to throw...
2016-03-29 John Benediktssonui.backend.cocoa.views: call super.prepareOpenGL().
2016-03-25 Björn Lindqvistmirrors: makes string an inspectable sequence, fixes...
2016-03-25 Doug Colemanfactor: remove rest of double paren words.
2016-03-20 John Benediktssonui.gadgets.panes: fix use of string-lines that prevente...
2016-03-19 John Benediktssonui.backend.cocoa.views: add constants for modifier...
2015-12-08 Björn Lindqvistui.backend.gtk: only run the tests on linux
2015-12-04 Björn Lindqvistbootstrap.*: fix for #1512, load docs after everything...
2015-12-03 Björn Lindqvistui.backend.gtk: set the active? to 100 in on-map, shoul...
2015-12-01 Björn Lindqvistui.gestures: fix gesture docs, #1509
2015-12-01 Björn Lindqvistui.*: move some of the gl initing to set-up-window...
2015-11-27 Björn Lindqvistui.tools.listener: only wait up to 5 seconds for the...
2015-11-04 Sankaranarayanan... Show persistent border on right clicking presentation...
2015-10-30 Björn Lindqvistui.tools.listener: revert the commit that added UP...
2015-10-29 Björn Lindqvistui.backend.cocoa: fix for the silly error I made in...
2015-10-28 Björn Lindqvistui.tools.listener: only recall if the lexer-error is...
2015-10-27 Björn Lindqvistui.*: make active? an integer 0-100
2015-10-27 Björn Lindqvistui.backend.*: the offscreen buffer hooks appear unused...
2015-10-23 Björn Lindqvistui.tools.listener: recall the last command on parse...
2015-10-22 Björn Lindqvistui.tools.listener.tests: fix tests, manifest needs...
2015-10-22 Björn Lindqvistui.tools.listener: call interactor-finish before try...
2015-10-22 Björn Lindqvistui.tools.listener: tried to simplify stream-read-quot...
2015-10-22 Björn Lindqvistui.backend.gtk: on-key-press and on-key-release can...
2015-10-18 Björn Lindqvistui.gadgets.incremental: fix so that the scrolled of...
2015-10-17 Björn Lindqvistui.gadgets.tests: clear the layout queue, so test dont...
2015-10-16 Björn Lindqvistui.gadgets.tests: fix the test (layout-queue is a vecto...
2015-10-16 Björn Lindqvistui.gadgets.incremental: trivial scrolling, maybe solves...
2015-10-16 Björn Lindqvistui.gadgets.buttons: memoize the roll button themes...
2015-10-15 Björn Lindqvistui: the layout-queue is more efficient as a vector...
2015-10-15 Björn Lindqvistui.gadgets: ensure that layout-later yields if the...
2015-10-15 Björn Lindqvistui.*: a little more ui docs
next