Commit 36d86661 authored by MARCHE Claude's avatar MARCHE Claude

IDE: Ctrl-A slects all row in the tree view

parent 895e1a9c
...@@ -170,7 +170,7 @@ https://gforge.inria.fr/tracker/index.php?func=detail&aid=13736&group_id=2990 ...@@ -170,7 +170,7 @@ https://gforge.inria.fr/tracker/index.php?func=detail&aid=13736&group_id=2990
* (CLAUDE) IDE: * (CLAUDE) IDE:
- DONE enlarge font (menu + shortcut Ctrl-+) - DONE enlarge font (menu + shortcut Ctrl-+)
- Ctrl-A to select all rows - DONE Ctrl-A to select all rows
- DONE Do not save if not needed - DONE Do not save if not needed
- DONE ne pas ecrire saving sessions si on ne sauve pas la session - DONE ne pas ecrire saving sessions si on ne sauve pas la session
+ todo: run detection immediately at start up if conf file absent or + todo: run detection immediately at start up if conf file absent or
......
...@@ -913,7 +913,7 @@ let file_menu = factory#add_submenu "_File" ...@@ -913,7 +913,7 @@ let file_menu = factory#add_submenu "_File"
let file_factory = new GMenu.factory file_menu ~accel_group let file_factory = new GMenu.factory file_menu ~accel_group
let (_ : GMenu.image_menu_item) = let (_ : GMenu.image_menu_item) =
file_factory#add_image_item ~key:GdkKeysyms._A file_factory#add_image_item (* ~key:GdkKeysyms._A *)
~label:"_Add file" ~callback:select_file ~label:"_Add file" ~callback:select_file
() ()
...@@ -1027,6 +1027,10 @@ let reduce_font () = ...@@ -1027,6 +1027,10 @@ let reduce_font () =
let view_menu = factory#add_submenu "_View" let view_menu = factory#add_submenu "_View"
let view_factory = new GMenu.factory view_menu ~accel_group let view_factory = new GMenu.factory view_menu ~accel_group
let (_ : GMenu.image_menu_item) =
view_factory#add_image_item ~key:GdkKeysyms._A
~label:"Select all" ~callback:(fun () -> goals_view#selection#select_all ()) ()
let (_ : GMenu.menu_item) = let (_ : GMenu.menu_item) =
view_factory#add_item ~key:GdkKeysyms._plus view_factory#add_item ~key:GdkKeysyms._plus
~callback:enlarge_font "Enlarge font" ~callback:enlarge_font "Enlarge font"
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment