equal
deleted
inserted
replaced
328 |
328 |
329 |
329 |
330 ## main |
330 ## main |
331 |
331 |
332 if [ "$BUILD_ONLY" = false ]; then |
332 if [ "$BUILD_ONLY" = false ]; then |
333 mkdir -p "$JEDIT_SETTINGS/DockableWindowManager" |
|
334 |
|
335 if [ ! -e "$JEDIT_SETTINGS/perspective.xml" ]; then |
|
336 cat > "$JEDIT_SETTINGS/DockableWindowManager/perspective-view0.xml" <<EOF |
|
337 <DOCKING LEFT="" TOP="" RIGHT="" BOTTOM="isabelle-readme" LEFT_POS="0" TOP_POS="0" RIGHT_POS="250" BOTTOM_POS="250" /> |
|
338 EOF |
|
339 cat > "$JEDIT_SETTINGS/perspective.xml" <<EOF |
|
340 <?xml version="1.0" encoding="UTF-8" ?> |
|
341 <!DOCTYPE PERSPECTIVE SYSTEM "perspective.dtd"> |
|
342 <PERSPECTIVE> |
|
343 <VIEW PLAIN="FALSE"> |
|
344 <GEOMETRY X="0" Y="35" WIDTH="1072" HEIGHT="787" EXT_STATE="0" /> |
|
345 </VIEW> |
|
346 </PERSPECTIVE> |
|
347 EOF |
|
348 fi |
|
349 |
|
350 if [ "$NO_BUILD" = false ]; then |
333 if [ "$NO_BUILD" = false ]; then |
351 "$ISABELLE_TOOL" build_dialog "${BUILD_DIALOG_OPTIONS[@]}" |
334 "$ISABELLE_TOOL" build_dialog "${BUILD_DIALOG_OPTIONS[@]}" |
352 RC="$?" |
335 RC="$?" |
353 [ "$RC" = 0 ] || exit "$RC" |
336 [ "$RC" = 0 ] || exit "$RC" |
354 fi |
337 fi |