0ct0pu5/wesnoth
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

eclipse plugin: Tweak the new node's index. If the...

Browse source 
...new index is greater than the previous + step, use the latter
This commit is contained in:
Timotei Dolean 2011-07-10 20:48:23 +00:00
parent c446bfd401
commit 789a29c07c
1 changed files with 8 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
utils/umc_dev/org.wesnoth/src/org/wesnoth/builder/DependencyListBuilder.java
View file

@ -151,7 +151,7 @@ public class DependencyListBuilder implements Serializable
// we found the place?
if ( ResourceUtils.wmlFileNameCompare(
tmpNode.getFile( ).getName( ), fileName ) > 0 ) {
tmpNode.getFile( ).getName( ), fileName ) > 0 ) {
previous_ = tmpNode.getPrevious( );
@ -292,9 +292,13 @@ public class DependencyListBuilder implements Serializable
// inserting is done between 2 nodes
if ( previous_.getNext( ) != null ){
newNode.setIndex(
(previous_.getIndex( ) +
previous_.getNext( ).getIndex( )) / 2 );
int newIndex = (previous_.getIndex( ) +
previous_.getNext( ).getIndex( )) / 2;
if ( newIndex > previous_.getIndex( ) + DependencyListNode.INDEX_STEP )
newIndex = previous_.getIndex( ) + DependencyListNode.INDEX_STEP ;
newNode.setIndex( newIndex);
newNode.setNext( previous_.getNext( ) );
previous_.getNext( ).setPrevious( newNode );