Mirrors_Framework/paparazzi
1
0
Fork 0
mirror of https://github.com/paparazzi/paparazzi.git synced 2026-05-27 00:37:37 +08:00
Code Issues Actions 29 Packages Projects Releases Wiki Activity

remove useless function

Browse Source
This commit is contained in:
Pascal Brisset
2010-04-04 15:37:59 +00:00
parent 3eb7a88cf9
commit 3224627df7
1 changed files with 0 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
sw/logalizer/plot.ml
-5
View File
@@ -783,11 +783,6 @@ let open_log = fun ?factor plot menubar curves_fact () ->
ignore (Log_file.chooser ~callback:(fun name -> load_log ?factor plot menubar curves_fact name) ())
let remove_fst_and_snd = function
_::_::l -> l
| l -> l
let screenshot = fun frame ->
let width, height = Gdk.Drawable.get_size frame#misc#window in
let dest = GdkPixbuf.create width height () in