Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Why3
why3
Commits
a8dcbbe1
Commit
a8dcbbe1
authored
Jul 01, 2011
by
MARCHE Claude
Browse files
updated IDE menus according to roadmap
parent
a2867c1f
Changes
2
Hide whitespace changes
Inline
Side-by-side
ROADMAP
View file @
a8dcbbe1
...
...
@@ -58,17 +58,14 @@
* faire tourner headache pour refabriquer les headers (A)
** dans gappa.ml : ajouter Guillaume en dessous de l'entete
* desactiver "Save" (et editable=false dans la fenetre)
et mettre "Quit" en dernier (C)
* remettre le use_api dans la doc (C)
* deplacer le bouton "Cancel" dans le menu "tools",
le renommer en "make obsolete" et le documenter (A)
* Rendre optionel la question "would you like to save the session ?"
* Rendre option
n
el la question "would you like to save the session ?"
(C) -> 3-state options (Yes/No/ask) dans la config
+ dans le menu "file" : "save session" sans raccourci clavier
+
DONE
dans le menu "file" : "save session" sans raccourci clavier
* documenter les options de Why (A)
...
...
@@ -81,6 +78,9 @@
* distribute bench files (A + F)
* DONE desactiver "Save" (et editable=false dans la fenetre)
* DONE mettre "Quit" en dernier (C)
* DONE checkout frais, compilation (local ou non) et make bench chaque nuit sur moloch
(?)
...
...
src/ide/newmain.ml
View file @
a8dcbbe1
...
...
@@ -765,12 +765,6 @@ let exit_function () =
in
()
let
(
_
:
GtkSignal
.
id
)
=
w
#
connect
#
destroy
~
callback
:
exit_function
let
(
_
:
GMenu
.
image_menu_item
)
=
file_factory
#
add_image_item
~
key
:
GdkKeysyms
.
_Q
~
label
:
"_Quit"
~
callback
:
exit_function
()
(*************)
(* View menu *)
(*************)
...
...
@@ -1064,6 +1058,7 @@ let source_view =
~
show_line_numbers
:
true
~
right_margin_position
:
80
~
show_right_margin
:
true
(* ~smart_home_end:true *)
~
editable
:
false
~
packing
:
scrolled_source_view
#
add
()
...
...
@@ -1186,6 +1181,19 @@ let (_ : GMenu.image_menu_item) =
~
label
:
"_Reload"
~
callback
:
reload
()
(* Saving the session *)
let
(
_
:
GMenu
.
image_menu_item
)
=
file_factory
#
add_image_item
(* no shortcut ~key:GdkKeysyms._S *)
~
label
:
"_Save session"
~
callback
:
M
.
save_session
()
(*
Saving the source_view: deactivated for the moment
let save_file () =
let f = !current_file in
if f <> "" then
...
...
@@ -1204,8 +1212,13 @@ let (_ : GMenu.image_menu_item) =
file_factory#add_image_item ~key:GdkKeysyms._S
~label:"_Save" ~callback:save_file
()
*)
let
(
_
:
GtkSignal
.
id
)
=
w
#
connect
#
destroy
~
callback
:
exit_function
let
(
_
:
GMenu
.
image_menu_item
)
=
file_factory
#
add_image_item
~
key
:
GdkKeysyms
.
_Q
~
label
:
"_Quit"
~
callback
:
exit_function
()
(*****************************)
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment