From: <sh...@us...> - 2007-09-16 08:26:02
|
Revision: 10581 http://jedit.svn.sourceforge.net/jedit/?rev=10581&view=rev Author: shlomy Date: 2007-09-16 01:25:56 -0700 (Sun, 16 Sep 2007) Log Message: ----------- Get a different default current mapper name for each mode Modified Paths: -------------- plugins/CtagsSideKick/trunk/ctags/sidekick/MapperManager.java Modified: plugins/CtagsSideKick/trunk/ctags/sidekick/MapperManager.java =================================================================== --- plugins/CtagsSideKick/trunk/ctags/sidekick/MapperManager.java 2007-09-16 08:14:33 UTC (rev 10580) +++ plugins/CtagsSideKick/trunk/ctags/sidekick/MapperManager.java 2007-09-16 08:25:56 UTC (rev 10581) @@ -45,19 +45,23 @@ return getMapper(mapper); } static public void setMapperForMode(String mode, ITreeMapper mapper) { - String name = getMapperName(mapper); + String name = getMapperName(mode, mapper); ModeOptionsPane.setProperty(mode, GeneralOptionPane.MAPPER, name); save(name, mapper); } static public void setDefaultMapper(ITreeMapper mapper) { - String name = getMapperName(mapper); + String name = getMapperName(null, mapper); jEdit.setProperty(GeneralOptionPane.MAPPER, name); save(name, mapper); } - private static String getMapperName(ITreeMapper mapper) { + private static String getMapperName(String mode, ITreeMapper mapper) { String name = mapper.getName(); - if (name == null || name.length() == 0) - name = "current"; + if (name == null || name.length() == 0) { + if (mode == null) + name = "current"; + else + name = mode + "_" + "current"; + } return name; } static public void register(String name, ITreeMapper mapper) { This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site. |