projects
/
rocksndiamonds.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
rnd-20050523-1-src
[rocksndiamonds.git]
/
src
/
editor.c
diff --git
a/src/editor.c
b/src/editor.c
index f6c63d1dd7d028d9e78d43501f8c7c8a669f81a4..988c1cdccc22da4b438a1b2093b4af669e9a07e2 100644
(file)
--- a/
src/editor.c
+++ b/
src/editor.c
@@
-8713,7
+8713,7
@@
static void HandleCounterButtons(struct GadgetInfo *gi)
if ((level_changed && pressed) || (!level_changed && released))
return;
if ((level_changed && pressed) || (!level_changed && released))
return;
- if (level_changed && !Request("Level has changed! Discard changes ?",
+ if (level_changed && !Request("Level has changed
! Discard changes ?",
REQ_ASK))
{
if (gadget_id == counterbutton_info[counter_id].gadget_id_text)
REQ_ASK))
{
if (gadget_id == counterbutton_info[counter_id].gadget_id_text)
@@
-9729,7
+9729,7
@@
void RequestExitLevelEditor(boolean ask_if_level_has_changed)
{
if (!ask_if_level_has_changed ||
!LevelChanged() ||
{
if (!ask_if_level_has_changed ||
!LevelChanged() ||
- Request("Level has changed! Exit without saving ?",
+ Request("Level has changed
! Exit without saving ?",
REQ_ASK | REQ_STAY_OPEN))
{
#if 1
REQ_ASK | REQ_STAY_OPEN))
{
#if 1