|
| From: | GitHub |
| Subject: | [paparazzi-commits] [paparazzi/paparazzi] dea806: [ocaml] turn off search in non editable xml tree v... |
| Date: | Sat, 03 Jan 2015 04:15:42 -0800 |
Branch: refs/heads/fix_fp_hotkeys
Home: https://github.com/paparazzi/paparazzi
Commit: dea80645de5a58085a8ec031dcec2e61e47da856
https://github.com/paparazzi/paparazzi/commit/dea80645de5a58085a8ec031dcec2e61e47da856
Author: Felix Ruess <address@hidden>
Date: 2015-01-03 (Sat, 03 Jan 2015)
Changed paths:
M sw/lib/ocaml/xmlEdit.ml
Log Message:
-----------
[ocaml] turn off search in non editable xml tree views
should fix #995
| [Prev in Thread] | Current Thread | [Next in Thread] |