diff options
| author | Andrej Shadura <andrewsh@debian.org> | 2018-05-08 16:00:42 +0200 |
|---|---|---|
| committer | Andrej Shadura <andrewsh@debian.org> | 2018-05-08 16:00:42 +0200 |
| commit | 2fc4dd61e5607569909548975eaf54cef87be96e (patch) | |
| tree | 19417eb5639eacffcfac6d9de53e0ab464010503 /lib/rightpanel/hwmanager.tcl | |
| parent | 47aa8b00b2b11df13a100489e0f904a4947177ef (diff) | |
New upstream version 1.4.9
Diffstat (limited to 'lib/rightpanel/hwmanager.tcl')
| -rw-r--r-- | lib/rightpanel/hwmanager.tcl | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/lib/rightpanel/hwmanager.tcl b/lib/rightpanel/hwmanager.tcl index 133d821..0e66fc8 100644 --- a/lib/rightpanel/hwmanager.tcl +++ b/lib/rightpanel/hwmanager.tcl @@ -1,10 +1,13 @@ #!/usr/bin/tclsh -# Part of MCU 8051 IDE ( http://mcu8051ide.sf.net ) +# Part of MCU 8051 IDE ( http://http://www.moravia-microsystems.com/mcu8051ide ) ############################################################################ # Copyright (C) 2007, 2008, 2009, 2010, 2011, 2012 by Martin Ošmera # # martin.osmera@gmail.com # # # +# Copyright (C) 2014 by Moravia Microsystems, s.r.o. # +# martin.osmera@moravia-microsystems.com # +# # # This program is free software; you can redistribute it and#or modify # # it under the terms of the GNU General Public License as published by # # the Free Software Foundation; either version 2 of the License, or # @@ -33,14 +36,14 @@ set _HWMANAGER_TCL _ class HwManager { ## COMMON - common PLUGIN_SEARCH_PATHS { + public common PLUGIN_SEARCH_PATHS { /usr/share/mcu8051ide/hwplugins /usr/local/share/mcu8051ide/hwplugins } if {$::MICROSOFT_WINDOWS} { set PLUGIN_SEARCH_PATHS ${::INSTALLATION_DIR}/hwplugins } - common inst_plg_count 0 ;# Int: Number of installed plugins + public common inst_plg_count 0 ;# Int: Number of installed plugins ## PRIVATE private variable parent ;# Widget: parent widget |