[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[tm-cvs-commit] moberhuber org.eclipse.tm.core/terminal/org.eclipse.tm.terminal plugin.properties plugin.xml

Update of /cvsroot/tools/org.eclipse.tm.core/terminal/org.eclipse.tm.terminal
In directory dev2:/tmp/cvs-serv28265

Modified Files:
	plugin.properties plugin.xml 
Log Message:
Bug 378691 - [terminal][api] Terminal Preferences should be maintained in the Widget (for font, invert, and buffer)

Index: plugin.properties
===================================================================
RCS file: /cvsroot/tools/org.eclipse.tm.core/terminal/org.eclipse.tm.terminal/plugin.properties,v
retrieving revision 1.15
retrieving revision 1.16
diff -C2 -d -r1.15 -r1.16
*** plugin.properties	4 Jan 2011 20:35:53 -0000	1.15
--- plugin.properties	7 May 2012 16:33:29 -0000	1.16
***************
*** 1,4 ****
  ###############################################################################
! # Copyright (c) 2003, 2011 Wind River Systems, Inc. and others.
  # All rights reserved. This program and the accompanying materials
  # are made available under the terms of the Eclipse Public License v1.0
--- 1,4 ----
  ###############################################################################
! # Copyright (c) 2003, 2012 Wind River Systems, Inc. and others.
  # All rights reserved. This program and the accompanying materials
  # are made available under the terms of the Eclipse Public License v1.0
***************
*** 14,17 ****
--- 14,18 ----
  # Michael Scharf (Wind River) - split into core, view and connector plugins 
  # Martin Oberhuber (Wind River) - fixed copyright headers and beautified
+ # Martin Oberhuber (Wind River) - [378691][api] push Preferences into the Widget
  ###############################################################################
  
***************
*** 27,28 ****
--- 28,33 ----
  terminal.insertion.name=Terminal view insert
  terminal.insertion.category.name=Terminal view commands
+ 
+ terminal.preferences.name = Terminal
+ terminal.font.description = The font for the terminal console.
+ terminal.font.label = Terminal Console Font

Index: plugin.xml
===================================================================
RCS file: /cvsroot/tools/org.eclipse.tm.core/terminal/org.eclipse.tm.terminal/plugin.xml,v
retrieving revision 1.13
retrieving revision 1.14
diff -C2 -d -r1.13 -r1.14
*** plugin.xml	15 Jul 2008 21:57:01 -0000	1.13
--- plugin.xml	7 May 2012 16:33:29 -0000	1.14
***************
*** 2,6 ****
  <?eclipse version="3.0"?>
  <!--
! # Copyright (c) 2006, 2008 Wind River Systems, Inc. and others.
  # All rights reserved. This program and the accompanying materials
  # are made available under the terms of the Eclipse Public License v1.0
--- 2,6 ----
  <?eclipse version="3.0"?>
  <!--
! # Copyright (c) 2006, 2012 Wind River Systems, Inc. and others.
  # All rights reserved. This program and the accompanying materials
  # are made available under the terms of the Eclipse Public License v1.0
***************
*** 12,15 ****
--- 12,16 ----
  # Martin Oberhuber (Wind River) - fixed copyright headers and beautified
  # Michael Scharf (Wind River) - [237425] undefined tm.terminal command
+ # Martin Oberhuber (Wind River) - [378691][api] push Preferences into the Widget
  -->
  <plugin>
***************
*** 107,109 ****
--- 108,136 ----
              sequence="Alt+W"/> <!-- Window -->
     </extension>
+ 
+    <extension
+          point="org.eclipse.ui.preferencePages">
+       <page
+             name="%terminal.preferences.name"
+             class="org.eclipse.tm.internal.terminal.preferences.TerminalPreferencePage"
+             id="org.eclipse.tm.terminal.TerminalPreferencePage">
+       </page>
+    </extension>
+    <extension
+          point="org.eclipse.core.runtime.preferences">
+       <initializer class="org.eclipse.tm.internal.terminal.preferences.TerminalPreferenceInitializer"/>
+       <modifier class="org.eclipse.tm.internal.terminal.preferences.PreferenceModifyListener"/>
+    </extension>
+    <extension
+          point="org.eclipse.ui.themes" id="terminal.font">
+       <fontDefinition
+             defaultsTo="org.eclipse.jface.textfont"
+             id="terminal.views.view.font.definition"
+             label="%terminal.font.label">
+          <description>
+             %terminal.font.description
+          </description>
+       </fontDefinition>
+    </extension>
+ 
  </plugin>