Skip to content

Jon Harper
jonenst

Organizations

@Telecom-Robotics @100km @lutece-platform @lutece-secteur-public
Jun 22, 2016
jonenst opened pull request factor/factor#1662
@jonenst
io.files.info docs, sync link-info and file-info docs
1 commit with 3 additions and 2 deletions
jonenst created branch docs at jonenst/factor
Jun 22, 2016
Jun 21, 2016
jonenst commented on issue factor/factor#760
@jonenst

Both gnome shell and unity used the 128x128 icon (scaled or not scaled depending on where the icon was displayed) . If i removed the 128x128 icon f…

Jun 19, 2016
jonenst commented on issue factor/factor#760
@jonenst

I tried the following patch, giving a list of icons to gtk instead of only the 128x128 one. It works, but unity and gnome shell end up using the 12…

Jun 18, 2016
jonenst commented on issue factor/factor#1656
@jonenst

F10-12 work with the x11 backend? Maybe I misread the code.

Jun 18, 2016
jonenst commented on issue factor/factor#760
@jonenst

The problem I had was in 2012 when ubuntu 12.04 and its version of unity which was displaying a very big (blurry) icon when pressing alt+tab. There…

Jun 17, 2016
jonenst commented on pull request factor/factor#1638
@jonenst

Since TIP: is a parsing word, I think the conditional doesn't do anything

Jun 16, 2016
jonenst commented on pull request factor/factor#1655
@jonenst

It depends if you want to guard against the calling code mutating the returned array or not. "grep '[ { } ]' -r ~/factor" seems to show that this i…

Jun 16, 2016
@jonenst
General handling of "RET" and "ENTER"
Jun 16, 2016
@jonenst
Non portable key symbols
Jun 16, 2016
jonenst commented on issue factor/factor#1654
@jonenst

Yeah, I think it's nice that you can differentiate between "RET" and "ENTER" if you want to. That's what the UI listener (which inherits from the m…

Jun 16, 2016
jonenst commented on issue factor/factor#1654
@jonenst

Can you try the following: "gesture-logger" run It should open 2 windows. A small (100x100 px) black one and a bigger white one with text. All inte…

Jun 15, 2016
jonenst commented on pull request factor/factor#1638
@jonenst

USE: unix.ffi 0 isatty outputs 1 when there is a console and 0 when there is not for me (ubuntu with unity)

Jun 15, 2016
@jonenst
  • @jonenst 490bd9a
    fix css class of the map in the xpage
Jun 15, 2016
jonenst commented on pull request factor/factor#1638
@jonenst

On all platforms Ctrl-C interrupts a busy loop first, and only breaks into low-level debugger if there is no interactive code currently running (i…

Jun 15, 2016
@jonenst
  • @jonenst d8dad93
    fix typos simple search app
Jun 15, 2016
@jonenst
  • @jonenst d3b752f
    RENDEZVOUS-188 : fix faulty merge that prevented appointment creation…
Jun 14, 2016
jonenst commented on pull request factor/factor#1638
@jonenst

Also, in the current state, as noted by @bjourne, it doesn't compile on other platforms than windows because volatile bool stop_on_ctrl_break; is o…

Jun 14, 2016
jonenst commented on pull request factor/factor#1638
@jonenst

What about squashing most of the commits together ? 34 commits make a complicated history for a relatively small patch (+88 -12). I'm not sure, but…

Jun 14, 2016
jonenst commented on pull request factor/factor#1638
@jonenst

The new thing is that kill -SIGINT will work even if there is no stdin/stdout (where we would get the low level shell), right ? Currently it crashe…

Jun 14, 2016
jonenst commented on pull request factor/factor#1638
@jonenst

I think it should be opt out with some configuration in .factor-rc so that newcomers have the feature on, and more advanced people who don't want it …

Jun 14, 2016
@jonenst
  • @jonenst b2f5f86
    SOLR-80 : don't keep a reference to the request in other thread, it's…
Jun 14, 2016
@jonenst
  • @jonenst 8bdbcf1
    SOLR-80 : don't keep a reference to the request in other thread, it's…
Jun 13, 2016
@jonenst
  • @jonenst 879680a
    fix pom.xml plugin-appointment dependency version
Jun 13, 2016
@jonenst
Jun 13, 2016
@jonenst
  • @jonenst 98dc5b5
    SOLR-82 : allow to get the base with/without the portal url for exter…
Something went wrong with that request. Please try again.